Related papers: What do abelian categories form?

Ladders of recollements of abelian categories are introduced, and used to address three general problems. Ladders of a certain height allow to construct recollements of triangulated categories, involving derived categories and singularity…

In this paper we will prove that there exists a covariant functor, called algebraic anabelian functor, from the category of algebraic schemes over a given field to the category of outer homomorphism sets of groups. The algebraic anabelian…

Every smooth manifold contains particles which propagate. These form objects and morphisms of a category equipped with a functor to the category of Abelian groups, turning this into a 0+1 topological field theory. We investigate the…

For an additive category $\mathbf{P}$ we provide an explict construction of a category $\mathcal{Q}( \mathbf{P} )$ whose objects can be thought of as formally representing $\frac{\mathrm{im}( \gamma )}{\mathrm{im}( \rho ) \cap \mathrm{im}(…

For any finite totally ordered set, the multisets of intervals form an abelian category. Various classes of subcategories admit natural combinatorial descriptions, and counting them yields familiar integer sequences. Surprisingly, in some…

Assume that abelian categories $A, B$ over a field admit countable direct limits and that these limits are exact. Let $F: D^+_{dg}(A) --> D^+_{dg}(B)$ be a DG quasi-functor such that the functor $Ho(F): D^+(A) \to D^+(B)$ carries $D^{\geq…

We review several known categorification procedures, and introduce a functorial categorification of group extensions with applications to non-abelian group cohomology. Categorification of acyclic models and of topological spaces are briefly…

In a stable abelian group, we characterize generic types of cosets of type-definable subgroups.

In this paper, we state the notion of morphisms in the category of abelian crossed modules and prove that this category is equivalent to the category of strict Picard categories and regular symmetric monoidal functors. The theory of…

We define quasi--locally presentable categories as big unions of coreflective subcategories which are locally presentable. Under appropriate hypotheses we prove a representability theorem for exact contravariant functors defined on a…

For a category B with finite products, we first characterize pseudofunctors from B to Cat whose corresponding opfibration is cartesian monoidal. Among those, we then characterize the ones which extend to pseudofunctors from internal groups…

We introduce an exact category of torsion-free constructible tori and an abelian category of constructible tori over a Dedekind scheme with perfect residue fields. The first one has an explicit description as $2$-term complexes of smooth…

We present an efficient and user-friendly method for constructing any cofibrantly generated model structure on the category of double categories whose trivial fibrations are the "canonical" ones: the double functors which are surjective on…

We study the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of an additive category $\mathcal{B}$ and the derived category $\mathsf{D}_{N}(\mathcal{A})$ of an abelian category $\mathcal{A}$. First we show that both…

We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from…

We show that there is a model structure in the sense of Quillen on an arbitrary Frobenius category $\F$ such that the homotopy category of this model structure is equivalent to the stable category $\underline{\F}$ as triangulated…

The reflexive completion of a category consists of the Set-valued functors on it that are canonically isomorphic to their double conjugate. After reviewing both this construction and Isbell conjugacy itself, we give new examples and revisit…

We prove a new localization theorem for stable model categories if the localizing subcategory is generated by a precovering class in the model category. We use this to show how one may explicitly realize certain Bousfield localization…

We give a necessary and sufficient condition for a morphism between recollements of abelian categories to be an equivalence.

It is known that in (regular) unital and in subtractive categories, internal abelian groups are simply behaved; e.g., they are the same as internal algebras $(A,s)$ satisfying $s(x,0)=x$ and $s(x,x)=0$, i.e., \emph{subtraction algebras}.…