Related papers: On derived categories and derived functors
We show that the triangulated category of bounded constructible complexes on an algebraic variety X over an algebraically closed field is equivalent to the bounded derived category of the abelian category of constructible sheaves on X,…
Given a family of model categories $\cal E \to \cal C$, we associate to it a homotopical category of derived, or Segal, sections $DSect(\cal C,\cal E)$ that models the higher-categorical sections of the localisation $L\cal E \to \cal C$.…
In the context of infinity categories, we rethink the notion of derived functor in terms of correspondences. This is especially convenient for the description of a passage from an adjoint pair (F,G) of functors to a derived adjoint pair…
We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of…
The goal of this paper is to construct a category of motivic "sheaves" on an algebraic variety defined over a subfield of C, using Nori's method. This categoryis abelian and it possesses faithful exact realization functors to the…
We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…
Linear categories naturally have several identification relations : isomorphisms, categorical equivalences and Morita equivalences. In this thesis, we construct the classifying stacks for these three relations ($\ukcatiso$, $\ukcateq$,…
We give a general method to build categories of combinatorial manifolds, i.e. categories of combinatorial objects satisfying some local property at every "point", as coreflective subcategories of categories of relational presheaves. To do…
This article develops several main results for a general theory of homological algebra in categories such as the category of sheaves of idempotent modules over a topos. In the analogy with the development of homological algebra for abelian…
By a theorem due to the first author, the bounded derived category of a finite-dimensional algebra over a field embeds fully faithfully into the stable category over its repetitive algebra. This embedding is an equivalence iff the algebra…
A global representation is a compatible collection of representations of the outer automorphism groups of the groups belonging to some collection of finite groups $\mathscr{U}$. Global representations assemble into an abelian category…
We will explain how elementary concepts of relative homological algebra yield the Taylor tower for functors from pointed categories to abelian groups recovering the constructions of Johnson and McCarthy.
Starting from certain perverse sheaves on an abelian variety, including the intersection cohomology sheaves of curves and smooth ample divisors, we construct a semisimple super-Tannakian category.
For any object A in a simplicial model category M, we construct a topological space \^A which classifies homogeneous functors whose value on k open balls is equivalent to A. This extends a classification result of Weiss for homogeneous…
In an ongoing project to classify all hereditary abelian categories, we provide a classification of Ext-finite directed hereditary abelian categories satisfying Serre duality up to derived equivalence. In order to prove the classification,…
Following the analogy between algebras (monoids) and monoidal categories the construction of nucleus for non-associative algebras is simulated on the categorical level. Nuclei of categories of modules are considered as an example.
We assume given a smooth symplectic (in the algebraic sense) resolution $X$ of an affine algebraic variety $Y$, and we prove that, possibly after replacing $Y$ with an etale neighborhood of a point, the derived category of coherent sheaves…
Let $\mathcal{C}$ be an additive category. The nilpotent category $\mathrm{Nil} (\mathcal{C})$ of $\mathcal{C}$, consists of objects pairs $(X, x)$ with $X\in\mathcal{C}, x\in\mathrm{End}_{\mathcal{C}}(X)$ such that $x^n=0$ for some…
In this paper, we construct derived equivalences between two subrings of relevant $\Phi$-Auslander-Yoneda rings from an arbitrary short exact sequence in an abelian category. As a consequence, any short exact sequence in an abelian category…
A general method for lifting weak factorization systems in a category S to model category structures on simplicial objects in S is described, analogously to the lifting of cotorsion pairs in Abelian categories to model category structures…