additive category

additive category
Name	Additive category
Type	Mathematical concept
Field	Category theory
Introduced	1950s
Notable	Alexander Grothendieck; Saunders MacLane; Samuel Eilenberg

additive category An additive category is a mathematical structure in category theory providing an algebraic setting for direct sums, kernels, and abelian-group–valued hom-sets. It generalizes the categories of abelian groups, modules over a ring, and representations of quivers, serving as a bridge between homological algebra, algebraic geometry, and functional analysis. Developed in the mid-20th century by figures associated with homological algebra and category-theoretic foundations such as Saunders Mac Lane, Samuel Eilenberg, and Alexander Grothendieck, additive categories underpin the theory of derived categories and triangulated categorys.

Definition

An additive category is a preadditive category with finite biproducts: objects and morphism-sets are enriched over abelian groups so composition is bilinear, and a zero object plus binary biproducts exist. The formal axiom set appears in sources by Saunders Mac Lane and in expositions by David Eisenbud and Charles Weibel, and it refines notions used in homological algebra and the study of modules over rings such as those introduced by Emmy Noether and Emil Artin. Additive categories are a stepping stone to abelian categorys as formalized by Alexander Grothendieck.

Basic Properties and Examples

Typical examples include the category of abelian groups, the category of left modules over a ring R studied in ring theory by figures like Emil Artin and Emmy Noether, and the category of finite-dimensional representations of a quiver as in work by Gabriel and Pierre Gabriel. Categories of chain complexes, categories of sheafs of abelian groups on a topological space (appearing in algebraic topology and algebraic geometry texts by Jean-Pierre Serre), and categories of coherent sheafs on projective varietys are additive under suitable hypotheses. For linear algebraic settings one finds additive structures in categories of vector spaces over fields studied by Évariste Galois and David Hilbert, and in categories of Hilbert spacees in functional analysis as treated by John von Neumann.

Additive categories enjoy closure properties: the opposite category of an additive category is additive; functor categories Fun(C, Ab) into abelian groups yield additive structures as in constructions used by Grothendieck; and full additive subcategories appear in the theory of tilting theory developed by researchers such as Bernhard Keller and Hille.

Morphisms, Biproduts and Zero Objects

In an additive category each Hom(A,B) is an abelian group and for objects A, B a binary biproduct A ⊕ B both supplies product and coproduct structure with canonical projection and injection morphisms. The existence of a zero object (both initial and terminal) gives rise to zero morphisms between any pair of objects and enables the definition of kernels and cokernels when they exist. Morphism composition is bilinear, a property used in proofs by Emmy Noether and formalized in texts by Mac Lane and Weibel. The interplay of projections, injections, and biproduct diagrams is central in applications to matrix descriptions of morphisms and to classification results in representation theory by scholars like Gabriel.

Additive Functors and Natural Transformations

A functor between additive categories is additive if it induces group homomorphisms on Hom-sets and preserves finite biproducts; such functors are ubiquitous in homological algebra and in comparisons between categories of modules and categories of sheafs, as in the work of Grothendieck on derived functors. Natural transformations between additive functors form abelian-group–valued morphism sets and are the morphisms in functor categories considered by Yoneda and Grothendieck; equivalences of additive categories often appear in classification theorems in representation theory and in Morita theory initiated by Kiiti Morita.

Exactness properties of additive functors (left exact, right exact, exact) are defined via preservation of kernels and cokernels; these concepts are central in the development of derived functors and Ext groups in studies by Samuel Eilenberg and Hyman Bass.

Exact Sequences and Abelian Categories

Short exact sequences, chain complexes, and notions of split exactness are formulated within additive categories, and these constructions lead to the definition of an abelian category when every monomorphism and epimorphism is normal and all kernels and cokernels exist. Abelian categories, axiomatized by Grothendieck and discussed by Peter Freyd and Henning Krause, are the ambient setting for derived category constructions by Alexander Grothendieck and Jean-Louis Verdier, and for formulating cohomology theories in algebraic geometry and topology as in work by Serre and Brown.

Constructions and Variations

Variations include preadditive categories without biproducts, Karoubian (idempotent-complete) additive categories studied by Karoubi and Quillen, exact categories in the sense of Daniel Quillen for K-theory, and enriched categories over abelian groups or over modules with additional tensor structures used by Pierre Deligne and Jacob Lurie. Constructions such as additive hulls, idempotent completions, and derived or homotopy categories produce additive or triangulated categories applied in motivic cohomology and in modern formulations of categorical representation theory by researchers including Mikhail Khovanov and Michel Rouquier.

Category:Category theory