Related papers: Classifying substructures of extriangulated catego…
We introduce and study a Serre functor in the category ${\cal P}_d$ of strict polynomial functors over a field of positive characteristic. By using it we obtain the Poincar\'e duality formula for Ext--groups from [C3] in elementary way. We…
We prove that some subquotient categories of exact categories are abelian. This generalizes a result by Koenig-Zhu in the case of (algebraic) triangulated categories. As a particular case, if an exact category B with enough projectives and…
Given a polarized abelian scheme with action by a ring, and a projective finitely presented module over that ring, Serre's tensor construction produces a new abelian scheme. We show that to equip these abelian schemes with polarizations…
We define admissible and weakly admissible subcategories in exact categories and prove that the former induce semi-orthogonal decompositions on the derived categories. We develop the theory of thin exact categories, an exact-category…
Let $\mathcal{S}$ be a small category, and suppose that we are given a full subcategory $\mathcal{U}$ such that every object of $\mathcal{S}$ can be embedded into some object of $\mathcal{U}$ in the same way as every quasi-projective…
As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…
Most categorical models for dependent types have traditionally been heavily set based: contexts form a category, and for each we have a set of types in said context -- and for each type a set of terms of said type. This is the case for…
We introduce pseudocubical objects with pseudoconnections in an arbitrary category, obtained from the Brown-Higgins structure of a cubical object with connections by suitably relaxing their identities, and construct a cubical analog of the…
Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information.…
The notion of a subtractive category, recently introduced by the author, is a ``categorical version'' of the notion of a (pointed) subtractive variety of universal algebras, due to A. Ursini. We show that a subtractive variety $\C$, whose…
It is well known that the category of quasi-coherent sheaves on a gerbe banded by a diagonalizable group decomposes according to the characters of the group. We establish the corresponding decomposition of the unbounded derived category of…
For an abelian tensor category a stack is constructed. As an application we show that our construction can be used to recover a quasi-compact separated scheme from the category of its quasi-coherent sheaves. In another application, we show…
We study the general fibre of a formal deformation over the formal disk of a projective variety from the view point of abelian and derived categories. The abelian category of coherent sheaves of the general fibre is constructed directly…
In this paper, we consider a kind of ideal quotient of an extriangulated category such that the ideal is the kernel of a functor from this extriangulated category to an abelian category. We study a condition when the functor is dense and…
We define model structures on exact categories which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly…
We show that, with some technical conditions, an abelian category can be embedded into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.
Let $\mathcal{A}$ be an abelian category and let $F$ be a subbifunctor of the additive bifunctor $\text{Ext}_{\mathcal{A}}^{1}(-,-)\colon \mathcal{A}^{\text{op}}\times \mathcal{A}\to \mathsf{Ab}$. Buan proved in [4] that $F$ is closed if,…
We study abelian localizations of triangulated categories induced by rigid contravariantly finite subcategories, and also triangulated structures on subfactor categories of triangulated categories. In this context we generalize recent…
Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an…
For an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection we classify thick…