Fact-checked by Grok 2 weeks ago

Preadditive category

In category theory, a preadditive category is a category \mathcal{A} in which, for every pair of objects x, y \in \mathrm{Ob}(\mathcal{A}), the morphism set \mathrm{Mor}_\mathcal{A}(x, y) is equipped with the structure of an abelian group, and the composition map \mathrm{Mor}_\mathcal{A}(x, y) \times \mathrm{Mor}_\mathcal{A}(y, z) \to \mathrm{Mor}_\mathcal{A}(x, z) is bilinear with respect to these group structures.^[1] This structure ensures the existence of a zero morphism $0_{x, y}: x \to y for each pair of objects, defined as the identity element in the abelian group \mathrm{Mor}_\mathcal{A}(x, y), and guarantees that additive inverses and sums of morphisms are well-defined and compatible with composition.^[1] Preadditive categories are equivalently described as categories enriched over the category \mathbf{Ab} of abelian groups, where the enrichment makes composition linear in both arguments.^[2] Preadditive categories form a foundational concept in higher category theory, bridging ordinary categories with more algebraic structures like rings and modules. A single-object preadditive category is precisely equivalent to a ring, where the abelian group on the single hom-set corresponds to the additive group of the ring, and composition corresponds to ring multiplication.^[3] Common examples include the category \mathbf{Ab} of abelian groups (with group homomorphisms as morphisms), which is preadditive since hom-sets are themselves abelian groups under pointwise addition and composition is bilinear; however, \mathbf{Ab} is actually additive, possessing a zero object and finite biproducts.^[1] Another example is the category of vector spaces over a field k of dimension at most a fixed positive integer d, where hom-sets are abelian groups (in fact, vector spaces over k) and composition is bilinear, but this category lacks finite biproducts because direct sums can exceed the dimension bound, making it preadditive but not additive.^[4] Key properties of preadditive categories include the fact that, whenever finite products or coproducts exist, they coincide and form biproducts, allowing morphisms to be represented via matrices in a manner analogous to linear algebra.^[1] Additive functors between preadditive categories are those that preserve the abelian group structures on hom-sets, and such functors automatically preserve zero objects and biproducts if present.^[1] Every preadditive category admits an embedding into an additive category, obtained by formally adjoining a zero object and finite biproducts while preserving the original structure; this "additive completion" is unique up to equivalence.^[4] Preadditive categories often arise in contexts like module theory and homological algebra, serving as a stepping stone to abelian categories, where additional exactness properties enable the study of exact sequences and derived functors.^[3]

Definition and Motivation

Formal Definition

A preadditive category is a category enriched over the category of abelian groups, meaning that for every pair of objects A and B, the hom-set \operatorname{Hom}(A, B) is equipped with the structure of an abelian group.^[5]^[1] The group operation on \operatorname{Hom}(A, B) is typically denoted by \oplus, so that for any morphisms f, g: A \to B, their sum f \oplus g: A \to B is defined, along with additive inverses -f: A \to B and a zero morphism $0_{A,B}: A \to B serving as the identity element of the group.^[1]^[6] This algebraic structure on the hom-sets generalizes the usual sets of an ordinary category by imposing an abelian group operation.^[7] The composition in a preadditive category must respect this group structure, making it bilinear with respect to the abelian group operations. Specifically, for objects A, B, C and morphisms f, f': A \to B, g: B \to C, the following distributivity axioms hold:

g \circ (f \oplus f') = (g \circ f) \oplus (g \circ f'),

(f \oplus f') \circ g = (f \circ g) \oplus (f' \circ g).

These ensure that composition acts as a group homomorphism in each variable separately when the other is fixed.^[1]^[6] The zero morphism $0_{A,A} is the additive identity in \operatorname{Hom}(A, A). The identity morphism \operatorname{id}_A: A \to A is the unit for composition, satisfying \operatorname{id}_B \circ f = f = f \circ \operatorname{id}_A for f: A \to B, while the category's associativity of composition is preserved in the enriched setting.^[7]^[6]

Historical Context and Motivation

The concept of preadditive categories emerged in the mid-20th century as part of the rapid development of category theory, particularly during the 1950s and 1960s, when mathematicians sought to formalize structures underlying homological algebra. Alexander Grothendieck played a pivotal role in this evolution through his 1957 Tohoku paper, where he introduced abelian categories as a framework to unify various cohomology theories, emphasizing categories in which hom-sets form abelian groups to enable algebraic operations like addition of morphisms.^[8] This work was motivated by the need to generalize module theory beyond specific rings, allowing for abstract treatments of exact sequences, kernels, and derived functors in diverse algebraic settings.^[8] Building on Grothendieck's foundations, Barry Mitchell further refined these ideas in his 1965 book Theory of Categories, where he defined semiadditive categories with abelian semigroup structures on morphism sets and bilinear composition—a notion weaker than the modern preadditive category, which requires abelian groups on hom-sets.^[9] The term "preadditive category" was introduced by Saunders Mac Lane in Categories for the Working Mathematician (1971).^[7] Mitchell's contribution was driven by the desire to axiomatize environments where morphisms behave like elements of abelian groups, without initially requiring the existence of biproducts or kernels that characterize stronger structures like additive or abelian categories.^[9] This approach generalized classical ring theory, treating preadditive categories as "multi-object rings" to facilitate algebraic manipulations across multiple objects while preserving linearity in composition.^[9] The motivation for preadditive categories thus stemmed from homological algebra's demand for a flexible yet structured abstraction of module categories, enabling the study of functors, exactness, and projective resolutions in a categorical language that transcended concrete examples.^[9]^[8] By focusing on the additive structure of hom-sets, these categories provided a foundational layer for subsequent developments in enriched category theory and applications to sheaf cohomology and representation theory.^[9]

Basic Examples

Categories of Abelian Groups and Modules

One prominent example of a preadditive category is the category Ab of abelian groups, where objects are abelian groups and morphisms are group homomorphisms. The hom-set Hom(A, B) between two abelian groups A and B forms an abelian group under pointwise addition: for homomorphisms f, g: A → B, their sum (f + g)(a) = f(a) + g(a) for all a ∈ A.^[7] Composition in Ab is bilinear, satisfying (f + g) ∘ h = f ∘ h + g ∘ h and f ∘ (g + h) = f ∘ g + f ∘ h for compatible morphisms f, g: A → B and h: B → C, as these equalities hold pointwise on elements.^[7] Another key example is the category R-Mod of left modules over a commutative ring R, with objects being R-modules and morphisms R-linear maps. The hom-set Hom_R(M, N) is an abelian group under pointwise addition, where (f + g)(m) = f(m) + g(m) for m ∈ M.^[7] Bilinearity of composition follows similarly: for R-linear maps f, g: M → N and h: N → P, the map (f + g) ∘ h equals f ∘ h + g ∘ h because linearity ensures distribution over the module addition, and scalar multiplication commutes due to R's commutativity.^[7] For non-commutative rings, the category Mod-R of right R-modules (or left modules, depending on convention) also yields a preadditive category, with hom-sets forming abelian groups under pointwise addition of R-linear maps.^[10] Here, composition remains bilinear—(f + g) ∘ h = f ∘ h + g ∘ h—since the addition of morphisms is defined independently of the ring's multiplication, relying only on the underlying abelian group structure of the modules.^[10] This structure holds without requiring commutativity, as the bilinearity concerns only the additive aspects of the hom-sets.^[7]

Single-Object Preadditive Categories

A single-object preadditive category provides a fundamental bridge between ring theory and category theory, where the category consists of exactly one object, conventionally denoted by *, and the hom-set \operatorname{Hom}(*, *) is equipped with an abelian group structure under addition. The composition of morphisms is defined by the ring multiplication on this hom-set, which is bilinear with respect to the addition due to the distributivity axioms of the ring. This construction ensures that the category satisfies the preadditive condition, as the hom-sets are abelian groups and composition distributes over addition.^[11] More generally, any associative unital ring R gives rise to a preadditive category by taking \operatorname{Hom}(*, *) = R, with addition as the ring addition and composition as the ring multiplication; conversely, the endomorphism monoid in a single-object preadditive category forms a ring, with the identity morphism serving as the multiplicative unit and associativity inherited from the category. This equivalence highlights how preadditive categories generalize the algebraic structure of rings to multi-object settings.^[12]^[13] A concrete example is the ring of integers \mathbb{Z}, which can be viewed as a single-object preadditive category whose endomorphisms model the additive structure underlying the category of abelian groups. In this category, morphisms from * to * are integers, addition corresponds to pointwise summation, and composition is integer multiplication, capturing the universal properties of abelian group homomorphisms in a skeletal form.^[11]

Elementary Properties

Zero Morphisms and Abelian Hom-Sets

In a preadditive category, the hom-sets possess a rich algebraic structure that distinguishes them from those in ordinary categories. Specifically, for any objects A and B, the set \Hom(A, B) is equipped with an abelian group operation, denoted by addition +\colon \Hom(A, B) \times \Hom(A, B) \to \Hom(A, B), along with additive inverses -f for each f \in \Hom(A, B). This makes each \Hom(A, B) an abelian group, with the composition of morphisms being bilinear with respect to this addition, as established in the foundational definition of such categories.^[7] Central to this structure is the zero morphism, which arises naturally as the identity element of the abelian group \Hom(A, B). For every pair of objects A and B, there exists a unique morphism $0_{A,B} \in \Hom(A, B) satisfying the group axioms, serving as the additive identity such that f + 0_{A,B} = f for all f \in \Hom(A, B). This zero morphism exhibits compatibility with composition: for any morphism f: X \to A, the composite $0_{A,B} \circ f = 0_{X,B}, and for any g: B \to Y, g \circ 0_{A,B} = 0_{A,Y}, ensuring it behaves as a "null" map across the category.^[7] The uniqueness of the zero morphism follows directly from the bilinearity of composition and the category axioms. Suppose there were another morphism z_{A,B} \in \Hom(A, B) satisfying the same composition properties; then, taking f = \id_A, the left zero property gives z_{A,B} \circ \id_A = 0_{A,B}. But z_{A,B} \circ \id_A = z_{A,B} by category axioms, so z_{A,B} = 0_{A,B}, confirming that $0_{A,B} is the sole such element in the abelian group \Hom(A, B). This interplay underscores how the group structure enforces a consistent zero across all hom-sets, facilitating algebraic manipulations in category-theoretic constructions.^[7]

Endomorphism Rings

In a preadditive category \mathcal{C}, the endomorphism set \operatorname{End}_{\mathcal{C}}(A) = \operatorname{Hom}_{\mathcal{C}}(A, A) of any object A inherits an abelian group structure from the hom-set, with pointwise addition of morphisms.^[7] Composition of morphisms provides the multiplication, making \operatorname{End}_{\mathcal{C}}(A) into an associative ring, as composition is bilinear with respect to the abelian group operations on hom-sets.^[7] The identity morphism \operatorname{id}_A: A \to A serves as the multiplicative unit.^[11] This ring structure generalizes the classical notion of endomorphism rings in module categories. For instance, in the category \mathbf{Ab} of abelian groups, \operatorname{End}_{\mathbf{Ab}}(G) is the ring of group endomorphisms of G, where addition is pointwise and multiplication is functional composition.^[14] Similarly, in the category \mathbf{R}\text{-Mod} of left modules over a ring R, \operatorname{End}_{\mathbf{R}\text{-Mod}}(M) is the endomorphism ring of the R-module M, consisting of R-linear maps with the induced ring operations.^[14] Unlike the hom-sets \operatorname{Hom}_{\mathcal{C}}(A, B) for distinct objects A and B, which form abelian groups but lack a natural multiplication, the endomorphism rings \operatorname{End}_{\mathcal{C}}(A) admit non-commutative multiplication in general, reflecting the potential non-commutativity of composition.^[11] A single-object preadditive category is precisely equivalent to a ring, viewed as a category with composition as multiplication.^[7]

Morphisms Between Preadditive Categories

Additive Functors

In category theory, an additive functor is the appropriate notion of morphism between preadditive categories that preserves their underlying abelian group structure on hom-sets.^[15] Specifically, given preadditive categories \mathcal{C} and \mathcal{D}, a functor F: \mathcal{C} \to \mathcal{D} is additive if, for every pair of objects A, B in \mathcal{C}, the map it induces on hom-sets, F: \Hom_{\mathcal{C}}(A, B) \to \Hom_{\mathcal{D}}(F(A), F(B)), is a homomorphism of abelian groups.^[7] This means that F(f + g) = F(f) + F(g) for all parallel morphisms f, g: A \to B in \mathcal{C}.^[7] As the hom-sets in preadditive categories form abelian groups under pointwise addition, an additive functor necessarily sends zero morphisms to zero morphisms.^[15] Moreover, since any functor preserves identities and composition by definition, and composition in preadditive categories is bilinear with respect to this addition, an additive functor automatically respects the full bilinear structure of composition without additional axioms.^[7] A representative example of an additive functor is the forgetful functor U: \mathbf{R}\text{-}\mathbf{Mod} \to \mathbf{Ab} from the category of left modules over a ring R to the category of abelian groups, which assigns to each R-module its underlying abelian group and acts on morphisms by forgetting the scalar multiplication, thereby inducing group homomorphisms on hom-sets.^[16]

Properties of Additive Functors

Additive functors between preadditive categories preserve the zero morphisms in a canonical way. Specifically, for any objects A and B in the source category \mathcal{C}, the image under an additive functor F: \mathcal{C} \to \mathcal{D} of the zero morphism $0_{A,B} is the zero morphism $0_{F(A), F(B)} in \mathcal{D}. This property follows immediately from the requirement that F acts as a group homomorphism on each hom-set \mathcal{C}(A, B).^[17]^[18] In preadditive categories equipped with zero objects, additive functors also preserve these zero objects up to isomorphism. That is, F(0_{\mathcal{C}}) \cong 0_{\mathcal{D}}, where $0_{\mathcal{C}} and $0_{\mathcal{D}} denote the respective zero objects. This preservation ensures that the additive structure is respected at the level of objects as well as morphisms.^[18]^[19] A key property of additive functors concerns their interaction with biproducts. If a biproduct A \oplus B exists in \mathcal{C}, then an additive functor F maps the associated projection and injection morphisms to the corresponding projections and injections of F(A) \oplus F(B) in \mathcal{D}, provided that F(A) \oplus F(B) exists as a biproduct in \mathcal{D}. Moreover, there is a canonical isomorphism F(A \oplus B) \cong F(A) \oplus F(B) that is natural in A and B. This preservation holds for finite biproducts and extends the additivity condition to the categorical structure of direct sums.^[17]^[19] In the setting of additive categories—preadditive categories with zero objects and all finite biproducts—additive functors automatically preserve all finite biproducts. For any finite family of objects \{A_i\}_{i \in I}, the canonical map induces an isomorphism F\left( \bigoplus_{i \in I} A_i \right) \cong \bigoplus_{i \in I} F(A_i), respecting the universal properties of the biproducts. This theorem underscores the compatibility of additive functors with the enriched structure of additive categories.^[18]^[19] However, additive functors do not necessarily preserve infinite biproducts or direct sums without additional assumptions, such as the functor being cocontinuous. For instance, while the Hom functor \operatorname{Hom}_R(M, -) on the category of R-modules preserves finite direct sums, it maps infinite direct sums to products, which generally differ from direct sums.^[17]

Linear Structure

R-Linear Categories

A preadditive category \mathcal{C} is called an R-linear category, for a ring R, if each hom-set \mathcal{C}(A, B) admits the structure of an R-module such that the composition map \mathcal{C}(B, C) \times \mathcal{C}(A, B) \to \mathcal{C}(A, C) is R-bilinear.^[20] This means that for all r \in R and morphisms f: A \to B, g: B \to C, the following equalities hold:

r \cdot (f \circ g) = (r \cdot f) \circ g = f \circ (r \cdot g).

The scalar multiplication on morphisms extends the preadditive structure by distributing over addition in the hom-sets, satisfying the module axioms such as r \cdot (f + g) = r \cdot f + r \cdot g and (r + s) \cdot f = r \cdot f + s \cdot f.^[21] Typically, R is taken to be a commutative ring with unit to ensure compatibility with the module structures and to simplify tensor products or other constructions, though the definition extends to general rings where the hom-modules are left or right R-modules accordingly.^[22] In this setting, the identity morphisms act as the unit for the scalar multiplication, with $1_R \cdot f = f for all f.^[23] A canonical example of an R-linear category is \mathbf{R}\text{-Mod}, the category of left R-modules, where objects are R-modules and morphisms are R-linear maps; here, composition of linear maps is inherently R-bilinear.^[21] R-linear functors between R-linear categories preserve this R-linear structure.^[24]

Relation to Ring Representations

A small R-linear category, where R is a commutative ring and the hom-sets are R-modules with bilinear composition, generalizes the notion of an R-algebra to a structure known as an R-linear ring with several objects. In the single-object case, such a category is precisely an R-algebra, with the endomorphism ring serving as the algebra itself, and its representations correspond to R-modules over that algebra. More generally, representations of an R-linear category C are given by R-linear functors from C to the category of R-modules, forming the module category C-Mod, which captures the linear representations analogous to standard module theory over rings. When the R-linear category admits finite biproducts, it becomes an additive R-linear category, enabling a richer structure for representations. The Karoubi envelope, or idempotent completion, of such a category universally splits all idempotent endomorphisms, yielding an idempotent-complete additive category equivalent to the category of modules over an associated idempotented R-algebra. This equivalence arises because the idempotents correspond to orthogonal projections in the algebra, and the completed category embeds fully faithfully into the module category over the algebra formed by the matrix components indexed by the objects. In particular, for finitely many objects, this construction aligns the category with representations of finite-dimensional algebras, preserving the biproduct structure.^[25] This framework has found applications in modern representation theory, particularly in the study of quantum groups post-2000, where preadditive categories serve as categorifications of algebraic structures. For instance, the representation categories of quantum groups can be viewed through the lens of R-linear categories with biproducts, facilitating the analysis of fusion rules and tensor products via idempotent completions, which model weight spaces and decomposition into irreducibles. Such approaches have advanced understandings of quantum symmetries in physics and algebra, linking categorical representations to algebraic invariants like Grothendieck rings.^[25]

Additive Features

Biproducts

In a preadditive category, a biproduct of two objects A and B is an object A \oplus B equipped with injection morphisms \iota_A: A \to A \oplus B and \iota_B: B \to A \oplus B, as well as projection morphisms \pi_A: A \oplus B \to A and \pi_B: A \oplus B \to B, satisfying the equations \pi_A \circ \iota_A = \mathrm{id}_A, \pi_B \circ \iota_B = \mathrm{id}_B, \pi_A \circ \iota_B = 0, \pi_B \circ \iota_A = 0, and \iota_A \circ \pi_A + \iota_B \circ \pi_B = \mathrm{id}_{A \oplus B}.^[7] These relations leverage the abelian group structure on hom-sets, where the zero morphisms ensure the off-diagonal compositions vanish.^[26] The biproduct A \oplus B satisfies the universal property of both a categorical product and a coproduct. As a product, for any object X and morphisms f: X \to A, g: X \to B, there exists a unique morphism h: X \to A \oplus B such that \pi_A \circ h = f and \pi_B \circ h = g. Dually, as a coproduct, for any object Y and morphisms f': A \to Y, g': B \to Y, there exists a unique morphism k: A \oplus B \to Y such that k \circ \iota_A = f' and k \circ \iota_B = g'.^[7] In the preadditive setting, these dual universal properties are compatible due to the bilinear composition and additive hom-sets.^[26] Finite direct sums arise by iterating biproducts: for objects A_1, \dots, A_n, the direct sum \bigoplus_{i=1}^n A_i is constructed inductively, with corresponding injections \iota_i: A_i \to \bigoplus A_j and projections \pi_i: \bigoplus A_j \to A_i satisfying \pi_i \circ \iota_j = \delta_{ij} (the Kronecker delta, yielding \mathrm{id}_{A_i} if i=j and the zero morphism otherwise) and \sum_{i=1}^n \iota_i \circ \pi_i = \mathrm{id}_{\bigoplus A_j}.^[26] This structure encodes the additive features essential for linear algebraic manipulations within the category.^[7]

Zero Objects and Additive Categories

In a preadditive category, a zero object is an object $0 that is both initial and terminal, meaning there exists a unique morphism from $0 to any object A and a unique morphism from any object A to $0.^[7] Since the hom-sets are abelian groups, these unique morphisms are the zero elements, yielding \Hom(0, A) \cong \{0\} and \Hom(A, 0) \cong \{0\} for all objects A, where \{0\} denotes the trivial group.^[27] The zero object is unique up to unique isomorphism, and its endomorphism monoid is the trivial group with \id_0 = 0.^[7] An additive category is a preadditive category equipped with a zero object and all finite biproducts; it suffices to have binary biproducts, as higher finite biproducts follow by iteration.^[28] In such categories, biproducts coincide with both finite products and coproducts, providing a canonical way to add objects.^[29] A key property is that every object A is isomorphic to its biproduct with the zero object: $0 \oplus A \cong A. To see this, the injections and projections for the biproduct yield morphisms i: 0 \to 0 \oplus A, j: A \to 0 \oplus A, p: 0 \oplus A \to 0, and q: 0 \oplus A \to A satisfying p \circ i = \id_0, q \circ j = \id_A, and i \circ p + j \circ q = \id_{0 \oplus A}. Since i = 0 and p = 0 (as they factor through the zero object), these simplify to j \circ q = \id_{0 \oplus A} and q \circ j = \id_A, establishing the isomorphism with inverse q.^[7] While additive categories require only finite biproducts,

Images, Kernels, and Cokernels

Kernels and Cokernels

In a preadditive category, the zero morphisms provide a natural way to define kernels and cokernels via limits and colimits. Specifically, for a morphism f: A \to B, the kernel of f, denoted \ker(f): K \to A, is the equalizer of the pair (f, 0_{A,B}), where $0_{A,B}: A \to B is the zero morphism.^[30] This means K comes equipped with a morphism i: K \to A such that f \circ i = 0, and it satisfies the universal property: for any object X and morphism g: X \to A with f \circ g = 0, there exists a unique morphism h: X \to K such that i \circ h = g.^[31] Kernels, when they exist, are unique up to isomorphism and are always monomorphisms.^[30] Dually, the cokernel of f: A \to B, denoted \coker(f): B \to C, is the coequalizer of the pair (f, 0_{A,B}). This consists of a morphism p: B \to C such that p \circ f = [0](/page/0), with the universal property that for any object Y and morphism q: B \to Y with q \circ f = [0](/page/0), there exists a unique morphism k: C \to Y such that q = k \circ p.^[31] Cokernels, when they exist, are unique up to isomorphism and are always epimorphisms.^[30] In preadditive categories, the existence of kernels for all morphisms is equivalent to the existence of all binary equalizers, since the equalizer of arbitrary f, g: X \to Y is the kernel of f - g.^[30] While kernels and cokernels do not exist for every morphism in a general preadditive category, their presence can be explored more explicitly in settings with biproducts, such as additive categories. Suppose A \oplus A' \to B \oplus B' is a morphism f represented, with respect to the biproduct decompositions, by a matrix of component morphisms

\begin{pmatrix} f_{11} & f_{12} \\ f_{21} & f_{22} \end{pmatrix},

where f_{ij}: A_j \to B_i for appropriate indices. The kernel \ker(f) then consists of pairs (a, a') in A \oplus A' such that the equations f_{11}(a) + f_{12}(a') = 0 and f_{21}(a) + f_{22}(a') = 0 hold in B \oplus B', forming the equalizer subobject via the induced inclusion.^[32] Similarly, the cokernel \coker(f) is the coequalizer quotient, obtained by imposing the relations generated by the images of the matrix entries under the projections from B \oplus B'. In additive categories where images (as kernels of cokernels) also exist, these constructions align with the standard categorical definitions.^[1]

Pre-Abelian Categories

A pre-abelian category is an additive category in which every morphism has both a kernel and a cokernel.^[33] This ensures the existence of these universal constructions for all arrows, building on the additive structure where Hom-sets are abelian groups and a zero object exists.^[34] In a pre-abelian category, kernels are normal monomorphisms and cokernels are normal epimorphisms.^[34] Specifically, for any morphism f: A \to B, its kernel \ker(f) is the equalizer of f and the zero morphism, and it satisfies the universal property that any morphism factoring through the domain must factor uniquely through the kernel. Dually for cokernels. Additionally, the image of f exists and can be constructed as \ker(\coker(f)), providing a canonical monomorphism \im(f) \to B that is the normal monomorphism with the universal property for the image.^[33] The category \mathbf{Vect}_k of vector spaces over a field k and linear maps is a pre-abelian category, as kernels and cokernels correspond to subspaces and quotient spaces, respectively. However, not all pre-abelian categories are abelian; for instance, the category of filtered abelian groups, where objects are abelian groups equipped with descending filtrations and morphisms preserve the filtrations, admits kernels and cokernels for every morphism but fails the condition that every monomorphism is normal.^[33]

Generalizations and Special Cases

Abelian Categories

An abelian category is a pre-abelian category in which every monomorphism is normal (i.e., the kernel of its cokernel), every epimorphism is normal (i.e., the cokernel of its kernel), and for every morphism f, the canonical map from the coimage of f to the image of f is an isomorphism.^[35] This structure ensures that images and coimages coincide, allowing every morphism to factor uniquely (up to isomorphism) as the composition of its coimage (an epimorphism) followed by its image (a monomorphism).^[35] These axioms build on the preadditive foundation by guaranteeing the exactness properties essential for homological constructions.^[36] A key result in the theory is that these conditions are equivalent to several formulations, including the existence of all finite limits and colimits, and the property that injective morphisms coincide with monomorphisms while surjective morphisms coincide with epimorphisms.^[35] In particular, short exact sequences in an abelian category are precisely those where the image of the first map equals the kernel of the second, providing a robust framework for exactness without requiring all such sequences to split—though split exact sequences exist and correspond to direct sum decompositions.^[35] This characterization, formalized in the 1960s, confirms that abelian categories fully realize the homological properties of the category of abelian groups.^[36] Abelian categories serve as the foundational setting for homological algebra, enabling the development of tools like the snake lemma, long exact sequences in homology and cohomology, and projective or injective resolutions.^[35] They underpin derived categories, where complexes of objects are localized to form triangulated categories that extend abelian structures for studying cohomology theories, distinguishing the exactness of abelian categories from the more flexible, non-exact distinguished triangles in triangulated ones.^[35]

Enriched Category Perspective

A preadditive category is equivalent to an \Ab-enriched category, where \Ab denotes the category of abelian groups equipped with its standard monoidal structure under direct sums. In this framework, the hom-sets of the underlying category are upgraded to hom-objects that are abelian groups, and the composition of morphisms is required to be bilinear with respect to the group structures. This enrichment perspective unifies preadditive categories with the broader theory of enriched categories, first systematically developed by G. M. Kelly, which replaces set-based hom-collections with objects from a monoidal category while preserving the associativity and unit axioms for composition.^[37] More generally, a V-enriched category arises when V is any monoidal category: the hom-objects lie in V, and composition is mediated by the tensor product of V, ensuring that the resulting structure satisfies the enriched analogues of the usual categorical axioms.^[37] Preadditive categories emerge as the specific instance where V = \Ab, leveraging the closed symmetric monoidal structure of \Ab to make composition K(f, g) a natural transformation between bifunctors. This viewpoint highlights how preadditive categories fit into a hierarchy of enriched structures, facilitating generalizations to other monoidal base categories such as vector spaces or topological abelian groups.^[37] Additive categories extend preadditive ones within this enriched paradigm: they are \Ab-enriched categories that further possess all finite biproducts, which coincide with both finite products and coproducts, endowing the category with a zero object and enabling the direct sum of morphisms. In higher category theory, these enriched notions have been generalized post-2015 to \infty-categories, where \Ab-enrichment analogues appear in stable \infty-categories, which behave additively and support triangulated structures in their homotopy categories.^[38] Such extensions, as explored in Lurie's framework, underpin applications in derived algebraic geometry and motivic homotopy theory, where preadditive-like bilinear compositions inform the coherence of higher homotopies.^[38]

References

[1]
12.3 Preadditive and additive categories - Stacks Project
In a preadditive category \mathcal{A}, we call an object that is both final and initial (as in Lemma 12.3.2) a zero object and denote it 0. Lemma 12.3.4. Let ...Missing: theory | Show results with:theory
[2]
[PDF] Idempotents in preadditive categories - Rohan Hitchcock
Aug 12, 2022 · If C is a preadditive category then the following are equivalent: (1) C idempotent complete. (2) All idempotents have a kernel. (3) All ...
[3]
[PDF] Abelian Categories - Daniel Murfet
Oct 5, 2006 · Notice that a ring is precisely a preadditive category with one object. In particular, the ring of endomorphisms of any object in a preadditive ...
[4]
Examples of preadditive categories that is not additive
Oct 14, 2022 · Clearly any ring R (commutative with 1) thought of as a category with only one object, is a preadditive category, where hom(R,R):=homR−mod(R,R)≅ ...
[5]
Mathlib.CategoryTheory.Preadditive.Basic - Lean community
A category is called preadditive if P ⟶ Q is an abelian group such that composition is linear in both variables. homGroup (P Q : C) : AddCommGroup (P ⟶ Q).
[6]
[PDF] On universal properties of preadditive and additive categories
More generally, we perform this construction for arbitrary, not necessarily additive cate- gories. 0.1.2 The additive envelope of preadditive categories. We ...
[7]
[PDF] maclane-categories.pdf - MIT Mathematics
5 MAC LANE. Categories for the Working. 39 ARVESON. An Invitation to C ... preadditive category) to be a category A in which each hom-set A(a, b) is an ...
[8]
Sur quelques points d'algèbre homologique, I
- **Additive Categories**: The paper by Alexander Grothendieck (1957) introduces and discusses additive categories as a foundational structure in homological algebra.
[9]
[PDF] Theory of categories
A number of sophisticated people tend to disparage category theory as consistently as others disparage certain kinds of classical music. When obliged.Missing: Alexander | Show results with:Alexander
[10]
Mod in nLab
Aug 18, 2025 · R Mod R Mod is an pre-additive category. ... Rankeya Datta, The category of modules over a commutative ring and abelian categories ( ...
[11]
[PDF] Rings with Several Objects - Daniel Murfet
Oct 5, 2006 · Throughout we will not distinguish between a ring R and the preadditive category with a single object whose endomorphism ring is R. Thus the ...
[12]
[PDF] category theoretic interpretation of rings - Alistair Savage
Definition 3.8 (Preadditive category). A category C is preadditive if for any X, Y ∈ ObC,. MorC(X, Y ) has the structure of an abelian group, which we write ...<|control11|><|separator|>
[13]
Ab-enriched category in nLab
Jul 19, 2024 · The category Ab is closed monoidal and hence canonically enriched over itself. An Ab Ab -enriched category with one object is precisely a ring.Missing: single | Show results with:single
[14]
[PDF] Additive and Exact Categories - Assets - Cambridge University Press
... endomorphism ring of A. If. F : A−→B is an ... A preadditive category need not have a 0 object. ... Exercise 1.1.1 Let A be a preadditive category with a zero ...
[15]
[PDF] Homological Algebra - Stacks Project
09SE Here is the definition of a preadditive category. Definition 3.1. 00ZY. A category A is called preadditive if each morphism set MorA(x, y) is endowed ...
[16]
[PDF] The Functor Category - The University of Manchester
Sep 26, 2012 · We consider only additive functors between preadditive categories; that is functors F which satisfy F(f +g) = F(f)+F(g) whenever f +g is defined ...
[17]
additive functor in nLab
Apr 15, 2023 · Definition Definition 1.1. A functor F : 𝒜 → ℬ between additive categories is itself called additive if it preserves finite biproducts. That is ...
[18]
[PDF] LECTURE 10 (10.0) Abelian categories and additive functors.
(10.1) Some properties of additive functors. – Given an additive functor F : A→B between two abelian categories, we have the following. Proposition. (1) F(0A) ...
[19]
Section 12.7 (010M): Additive functors—The Stacks project
Because it is additive it commutes with direct sums and hence finite products in \mathcal{A}. To show it commutes with finite limits it therefore suffices to ...
[20]
algebroid in nLab
Jan 13, 2024 · A linear category, or algebroid, is a category whose hom-sets are all vector spaces (or modules) and whose composition operation is bilinear.
[21]
[PDF] Introduction Linear Categories and Applications
Linear categories are widely used in math, with maps from A to B that can be added, satisfying distributive laws. Examples include Rematrices and R-linear ...
[22]
R-linear categories - Math Stack Exchange
May 9, 2018 · Does anybody knows why they require the ring to be commutative? When defining preadditive categories, categories whose hom-sets are abelian ...
[23]
[PDF] Derived categories of representations of small categories over ...
Oct 28, 2015 · Definition 2.4. An R-linear category D is a small category enriched in R-modules. It is flat if D(c, c′) is ...
[24]
[PDF] Simple functors of admissible linear categories
Nov 13, 2015 · Throughout, we let R be a commutative unital ring. An R-linear category (also called an. R-preadditive category) is defined to be a category ...<|control11|><|separator|>
[25]
[PDF] Category Theoretic Interpretation of Rings
As the name suggests, the objects are small preadditive categories with one object and MorPreaddCat1(C, D) is the class of additive functors from C to D.<|control11|><|separator|>
[26]
biproduct in nLab
Mar 6, 2024 · It follows that functors enriched over commutative monoids must automatically preserve finite biproducts, so that finite biproducts are a type ...
[27]
https://stacks.math.columbia.edu/tag/0100
[28]
Additive Category | SpringerLink
Nov 7, 2017 · Sometimes a category which fulfills only condition (1) is called a preadditive category. ... Mac Lane: Categories. For the working ...
[29]
https://stacks.math.columbia.edu/tag/0104
[30]
[PDF] Homological Algebra Lecture 1 - People
If Z is an object of the preadditive category C the following are equivalent: Z is initial. Z is final. Z is zero. Proof: If Z is initial (resp. final) then ...<|control11|><|separator|>
[31]
Definition 12.3.9 (0106)—The Stacks project
Definition 12.3.9. Let \mathcal{A} be a preadditive category. Let f : x \to y be a morphism. A kernel of f is a morphism i : z \to x such that (a) f \circ i ...
[32]
[PDF] K-THEORY OF CERTAIN ADDITIVE CATEGORIES ASSOCIATED ...
Definition 2.2.5. An additive category is a preadditive category C that admits a zero object and all finite biproducts. Convention 2.2.6. Let ...
[33]
[PDF] Introduction to abelian and derived categories.
If R is a ring, the category Mod R of (right) R-modules is an additive category. So are its full subcategories Free R and mod R whose objects are the free, and ...
[34]
[PDF] A brief introduction to abelian categories
Jan 18, 2020 · There are the following two concepts. Definition 2.2.1. Let C be a pre-abelian category, A, B, C ∈ Obj(C) objects and f : ...
[35]
Section 12.5 (00ZX): Abelian categories—The Stacks project
Definition 12.5.1. A category \mathcal{A} is abelian if it is additive, if all kernels and cokernels exist, and if ...
[36]
[PDF] abelian categories - peter j. freyd
A homology theory was defined as a functor from a topological category to an alge- braic category obeying certain axioms. Among the more striking results was ...
[37]
[PDF] BASIC CONCEPTS OF ENRICHED CATEGORY THEORY
Apr 23, 2005 · Originally published by Cambridge University Press, London Mathematical Society Lecture. Notes Series 64, 1982 c G.M. Kelly, 2005. Permission to ...
[38]
[PDF] Higher Algebra
Sep 18, 2017 · ... ∞-categories developed in [98]. The collection of all spectra can be organized into an ∞-category, which we will denote by Sp: it is an ...