Abelian Category

An abelian category is a mathematical category in which morphisms and objects behave like those in the category of Abelian groups. Formally, it is a category that is preadditive (morphisms form Abelian groups), has a zero object, has finite products and coproducts, and in which every monomorphism is a kernel and every epimorphism is a cokernel. The category of Abelian groups, denoted Ab, is the prototypical example. Abelian categories provide the framework for homological algebra, which studies exact sequences and their obstructions. The theory was developed by Grothendieck in the 1950s and has become the foundation of modern algebraic geometry and representation theory. The significance for systems theory is that abelian categories formalize the conditions under which decompositions are exact and interactions are additive — the structural conditions that make reductionism valid. The category of modules over a ring is abelian; the category of topological spaces is not. This distinction is not merely algebraic pedantry; it is the formal boundary between systems that can be decomposed and systems that cannot.