Related papers: A construction of quotient A_infinity-categories

We give a general construction of categorical idempotents which recovers the categorified Jones-Wenzl projectors, categorified Young symmetrizers, and other constructions as special cases. The construction is intimately tied to cell theory…

In arXiv:0805.0157v5, the authors define a class of derived stacks, called "perfect stacks" and show that for this class the categories of quasi-coherent sheaves satisfy a categorical K\"unneth formula. Motivated to extend their results to…

For a commutative Noetherian ring $R$ with finite Krull dimension, we study the nullity classes in $D^c_{fg}(R)$, the full triangulated subcategory $D^c_{fg}(R)$ of the derived category $D(R)$ consisting of objects which can be represented…

We introduce the notion of the quotient of a category $C$ by the action $A : M \longrightarrow C \times C$ of a unital symmetric monoidal category $M$. The quotient $C/M$ is a 2-category. We prove its existence and uniqueness by first…

There are two approaches in defining the category of $D$-modules on a quantized flag manifold. One is due to Lunts and Rosenberg based on the $\mathrm{Proj}$- construction of the quantized flag manifold, and the other is due to Backelin and…

We prove existence of equalizers in certain categories of cocomplete cocategories. This allows us to complete the proof of the fact that A-infinity functor categories arise as internal Hom-objects in the category of differential graded…

A model structure is defined on the category of derived differentiable schemes, and it is used to analyse the truncation 2-functor from derived manifolds to d-manifolds. It is proved that the induced 1-functor between the homotopy…

We develop an approach that allows to construct semiorthogonal decompositions of derived categories of surfaces with cyclic quotient singularities whose components are equivalent to derived categories of local finite dimensional algebras.…

An unrepresentable cohomological functor of finite type of the bounded derived category of coherent sheaves of a compact complex manifold of dimension greater than one with no proper closed subvariety is given explicitly in categorical…

For any ring $A$ and a small, preadditive, Hom-finite, and locally bounded category $Q$ that has a Serre functor and satisfies the (strong) retraction property, we show that the category of additive functors from $Q$ to the category of…

In this expository paper we explain in detail how to construct bicategorical colimits of several kinds of tensor categories, for example essentially small finitely cocomplete K-linear tensor categories. The constructions are direct and…

Firstly, we compare the bounded derived categories with respect to the pure-exact and the usual exact structures, and describe bounded derived category by pure-projective modules, under a fairly strong assumption on the ring. Then, we study…

We show that either of the two reasonable choices for the category of compact quantum groups is nice enough to allow for a plethora of universal constructions, all obtained "by abstract nonsense" via the adjoint functor theorem. This…

A Q-system in a C* 2-category is a unitary version of a separable Frobenius algebra object and can be viewed as a unitary version of a higher idempotent. We define a higher unitary idempotent completion for C* 2-categories called Q-system…

In this article we classify indecomposable objects of the derived categories of finitely-generated modules over certain infinite-dimensional algebras. The considered class of algebras (which we call nodal algebras) contains such well-known…

In our previous papers we introduced categorical invariants, which are, roughly speaking, sets of triangulated subcategories in a given triangulated category and their quotients. Here is extended the list of examples, where these sets are…

The filtered derived category of an abelian category has played a useful role in subjects including geometric representation theory, mixed Hodge modules, and the theory of motives. We develop a natural generalization using current methods…

We show that semi-infinite cohomology of a finite dimensional graded algebra (satisfying some additional requirements) are a particular case of a general categorical construction. The motivating example is provided by small quantum groups…

Let $R$ be a commutative noetherian local ring with residue field $k$. Denote by $\mathsf{D^b}(R)$ the bounded derived category of finitely generated $R$-modules. In this paper, we study the structure of the Verdier quotient…

Let $\mathcal C$ be closed symmetric monoidal Grothendieck category. We define the pure derived category with respect to the monoidal structure via a relative injective model category structure on the category $\mathbf{C}(\mathcal C)$ of…