Related papers: The resolving completion of an exact category

Let $\mathscr{F}$ be an $(n+2)$-angulated Krull-Schmidt category and $\mathscr{A} \subset \mathscr{F}$ an $n$-extension closed, additive and full subcategory with $\operatorname{Hom}_{\mathscr{F}}(\Sigma_n \mathscr{A}, \mathscr{A}) = 0$.…

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…

We classify the category of finite-dimensional real division composition algebras having a non-abelian Lie algebra of derivations. Our complete and explicit classification is largely achieved by introducing the concept of a…

We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…

We show that for a given exact category, there exists a bijection between semibricks (pairwise Hom-orthogonal set of bricks) and length wide subcategories (exact extension-closed length abelian subcategories). In particular, we show that a…

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…

A common technique for producing a new model category structure is to lift the fibrations and weak equivalences of an existing model structure along a right adjoint. Formally dual but technically much harder is to lift the cofibrations and…

We construct the reduction of an exact category with a twist functor with respect to an element of its graded center in presence of an exact-conservative forgetful functor annihilating this central element. The procedure allows, e.g., to…

Let $T$ be a right exact functor from an abelian category $\mathscr{B}$ into another abelian category $\mathscr{A}$. Then there exists a functor ${\bf p}$ from the product category $\mathscr{A}\times\mathscr{B}$ to the comma category…

We show that an abelian category can be exactly, fully faithfully embedded into a module category as the right perpendicular subcategory to a set of modules or module morphisms if and only if it is a locally presentable abelian category…

We give a complete and careful proof of Quillen's theorem on the existence of the standard model category structure on the category of topological spaces. We do not assume any familiarity with model categories.

In this paper, we present a constructive generalization of metric and uniform spaces by introducing a new class of spaces, called cover spaces. These spaces form a topological concrete category with a full reflective subcategory of complete…

We explore the interlacing between model category structures attained to classes of modules of finite $\mathcal{X}$-dimension, for certain classes of modules $\mathcal{X}$. As an application we give a model structure approach to the…

We study the question when a category of ind-objects is abelian. Our answer allows a further generalization of the notion of weakly Tannakian categories introduced by the author. As an application we show that, under suitable conditions,…

We introduce the notion of (twisted) quiver representations in abelian categories and study the category of such representations. We construct standard resolutions and coresolutions of quiver representations and study basic homological…

On one hand, exact structures were introduced by D. Quillen in the '70s. They can be defined as collections of short exact sequences in a fixed abelian category satisfying additional properties. On the other hand, in a recent work, A.…

A new categorical setting is defined in order to characterize the subrecursive classes belonging to complexity hierarchies. This is achieved by means of coercion functors over a symmetric monoidal category endowed with certain recursion…

In this paper, we study ideal approximation theory associated to almost $n$-exact structures in extension closed subcategories of $n$-angulated categories. For $n=3$, an $n$-angulated category is nothing but a classical triangulated…

We develop the theory of 2-quivers and quiver 2-categories to run in parallel with the classical theory of quiver algebras. A quiver 2-category is always finitary, and, conversely, every finitary 2-category will be bi-equivalent with a…

We define a 2-category structure (Pre-Orb) on the category of reduced complex orbifold atlases. We construct a 2-functor F from (Pre-Orb) to the 2-category (Grp) of proper \'etale effective groupoid objects over the complex manifolds. Both…