Abstract:Quasi-abelian categories are abundant in functional analysis and representation theory. It is known that a quasi-abelian category $\mathcal{E}$ is a cotilting torsionfree class of an abelian category. In fact, this property characterizes quasi-abelian categories. This ambient abelian category is derived equivalent to the category $\mathcal{E}$, and can be constructed as the heart $\mathcal{LH}(\mathcal{E})$ of a $\operatorname{t}$-structure on the bounded derived category $\operatorname{D^b}(\mathcal{E})$ or as the localization of the category of monomorphisms in $\mathcal{E}.$ However, there are natural examples of categories in functional analysis which are not quasi-abelian, but merely one-sided quasi-abelian or even weaker. Examples are the category of $\operatorname{LB}$-spaces or the category of complete Hausdorff locally convex spaces. In this paper, we consider additive regular categories as a generalization of quasi-abelian categories that covers the aforementioned examples. Additive regular categories can be characterized as those subcategories of abelian categories which are closed under subobjects. As for quasi-abelian categories, we show that such an ambient abelian category of an additive regular category $\mathcal{E}$ can be found as the heart of a $\operatorname{t}$-structure on the bounded derived category $\operatorname{D^b}(\mathcal{E})$, or as the localization of the category of monomorphisms of $\mathcal{E}$. In our proof of this last construction, we formulate and prove a version of Auslander's formula for additive regular categories. Whereas a quasi-abelian category is an exact category in a natural way, an additive regular category has a natural one-sided exact structure. Such a one-sided exact category can be 2-universally embedded into its exact hull. We show that the exact hull of an additive regular category is again an additive regular category.

Abelian categories and definable additive categories

On definable subcategories

Abelian and model structures on tame functors

A functorial approach to $n$-abelian categories

A Categorical Development of Right Derived Functors

Ideally exact categories

Tensor and direct extension of definable subcategories

Enhancement for categories and homotopical algebra

Representations over diagrams of abelian categories II: Abelian model structures

An abelian ambient category for behaviors in algebraic systems theory

A Homological View of Categorical Algebra

Monoidal bicategories, differential linear logic, and analytic functors

A Syntax for Strictly Associative and Unital $\infty$-Categories

Gluing of infinitesimal models of algebraic theories

The left heart and exact hull of an additive regular category

Definable functors between triangulated categories with applications to tensor-triangular geometry and representation theory

Relative tilting theory in abelian categories I: Auslander-Buchweitz-Reiten approximations theory in subcategories and cotorsion pairs

Coderived and contraderived categories of locally presentable abelian DG-categories

Lax Additivity

R*-categories: The Hilbert-space analogue of abelian categories

Model $\infty$-categories II: Quillen adjunctions