Related papers: Remarks on partially abelian exact categories
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…
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by…
Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous…
In the present paper we use the theory of exact completions to study categorical properties of small setoids in Martin-L\"of type theory and, more generally, of models of the Constructive Elementary Theory of the Category of Sets, in terms…
This article introduces Hilbert $*$-categories: an abstraction of categories with similar algebraic and analytic properties to the categories of real, complex, and quaternionic Hilbert spaces and bounded linear maps. Other examples include…
We show that the quotient of a Hom-finite triangulated category C by the kernel of the functor Hom(T, -), where T is a rigid object, is preabelian. We further show that the class of regular morphisms in the quotient admit a calculus of left…
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}(…
We investigate abelian quotients arising from extriangulated categories via morphism categories, which is a unified treatment for both exact categories and triangulated categories. Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an…
We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…
It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is…
We prove that the reduced cross-sectional algebra of a Fell bundle with the approximation property over an inverse semigroup is exact if and only if the unit fiber of the Fell bundle is exact. This generalizes a recent result of the…
Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…
We reconsider a classical theorem by Bican and El Bashir, which guarantees the existence of non-trivial relatively pure submodules in a module category over a ring with unit. Our aim is to generalize the theorem to module categories over…
We extend the calculus of relations to embed a regular category A into a family of pseudo-abelian tensor categories T(A,d) depending on a degree function d. Under the condition that all objects of A have only finitely many subobjects, our…
In contrast with the Hovey correspondence of abelian model structures from two complete cotorsion pairs, Beligiannis and Reiten give a construction of model structures on abelian categories from only one complete cotorsion pair. The aim of…
We provide a criterion for the existence of right approximations in cocomplete additive categories; it is a straightforward generalisation of a result due to El Bashir. This criterion is used to construct adjoint functors in homotopy…
Let $\mathcal{E}$ be a weakly idempotent complete exact category with enough injective and projective objects. Assume that $\mathcal{M} \subseteq \mathcal{E}$ is a rigid, contravariantly finite subcategory of $\mathcal{E}$ containing all…
We describe a sufficient condition for the localization functor to be a categorical equivalence. Using this result we explain how to simplify the test for projectivity. This leads to a description of the strictly simple algebras which are…
In this notebook, I present duality theory (or theories) of abelian groups with some categorical and categorical topological flavour. I consider writing this notebook as a longer-term project, and its current content and presentation is…
Let R be a quotient ring of a commutative coherent regular ring by a finitely generated ideal. Hovey gave a bijection between the set of coherent subcategories of the category of finitely presented R-modules and the set of thick…