Related papers: Lefschetz fixed-object and fixed-morphism theorems…

We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is…

We use our extension of the Noether-Lefschetz theorem to describe generators of the class groups at the local rings of singularities of very general hypersurfaces containing a fixed base locus. We give several applications, including (1)…

We are checking the closed categories beginning with the category of sets and ending with the category of categories. The novelty is a generalizing the notion of adjoint functors to the joint pair of functors in the category of directed…

We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…

We introduce a notion of $\Theta$-categories, which is a refinement of the notion of symmetric monoidal $\infty$-categories. We use this notion to prove a Tannakian duality statement, relating $\Theta$-categories with fpqc-stacks by means…

This article is a sequel to hep-th/9411050, q-alg/9412017. In Chapter 1 we associate with every Cartan matrix of finite type and a non-zero complex number $\zeta$ an abelian artinian category $\FS$. We call its objects {\em finite…

To a Lie groupoid over a compact base, the associated group of bisection is an (infinite-dimensional) Lie group. Moreover, under certain circumstances one can reconstruct the Lie groupoid from its Lie group of bisections. In the present…

Every finitely presented group is the fundamental group of the total space of a Lefschetz fibration. This follows from results of Gompf and Donaldson, and was also proved by Amoros-Bogomolov-Katzarkov-Pantev. We give another proof by…

We introduce and develop the notion of *displayed categories*. A displayed category over a category C is equivalent to "a category D and functor F : D --> C", but instead of having a single collection of "objects of D" with a map to the…

We define the Grothendieck-Witt category over a fixed ground ring. In order to study the structure of this category, we introduce the general theory of Gysin functors and their associated categories of correspondences. The latter…

Fixpoint operators are tools to reason on recursive programs and data types obtained by induction (e.g. lists, trees) or coinduction (e.g. streams). They were given a categorical treatment with the notion of categories with fixpoints. A…

The notion of relative derived category with respect to a subcategory is introduced. A triangle-equivalence, which extends a theorem of Gao and Zhang [Gorenstein derived categories, \emph{J. Algebra} \textbf{323} (2010) 2041-2057] to the…

We propose a conjectural extension to positive characteristic case of a well known Deligne's theorem on the existence of super fiber functors. We prove our conjecture in the special case of semisimple categories with finitely many…

Pirashvili's Dold-Kan type theorem for finite pointed sets follows from the identification in terms of surjections of the morphisms between the tensor powers of a functor playing the role of the augmentation ideal; these functors are…

We prove the functoriality for proper push-forward of the characteristic cycles of constructible complexes by morphisms of smooth projective schemes over a perfect field, under the assumption that the direct image of the singular support…

A homeomorphism of the $2$-torus with Lefschetz number different from zero has a fixed point. We give a version of this result for nilpotent groups of diffeomorphisms. We prove that a nilpotent group of $2$-torus diffeomorphims has finite…

This paper provides an overview of Lawvere's Fixed-Point Theorem in category theory and aims to detail the universal framework underlying self-reference and recursive structures. First, we rigorously define fundamental concepts - such as…

We define the concept of a regular object with respect to another object in an arbitrary category. We present basic properties of regular objects and we study this concept in the special cases of abelian categories and locally finitely…

A Lefschetz-type coincidence theorem for two maps f,g:X->Y from an arbitrary topological space X to a manifold Y is given: I(f,g)=L(f,g), the coincidence index is equal to the Lefschetz number. It follows that if L(f,g) is not equal to zero…

A Lefschetz module is a module over a graded algebra $A$ that satisfies analogues of Poincar\'{e} duality, the Hard Lefschetz property, and the Hodge--Riemann relations with respect to an open convex cone $\mathscr{K}$ in the degree one…