Get Abelian Category essential facts below. View Videos or join the Abelian Category discussion. Add Abelian Category to your PopFlock.com topic list for future reference or share this resource on social media.
Finally, a preabelian category is abelian if every monomorphism and every epimorphism is normal. This means that every monomorphism is a kernel of some morphism, and every epimorphism is a cokernel of some morphism.
Note that the enriched structure on hom-sets is a consequence of the first three axioms of the first definition. This highlights the foundational relevance of the category of Abelian groups in the theory and its canonical nature.
The concept of exact sequence arises naturally in this setting, and it turns out that exact functors, i.e. the functors preserving exact sequences in various senses, are the relevant functors between Abelian categories. This exactness concept has been axiomatized in the theory of exact categories, forming a very special case of regular categories.
As mentioned above, the category of all abelian groups is an abelian category. The category of all finitely generated abelian groups is also an abelian category, as is the category of all finite abelian groups.
If C is a small category and A is an abelian category, then the category of all functors from C to A forms an abelian category. If C is small and preadditive, then the category of all additive functors from C to A also forms an abelian category. The latter is a generalization of the R-module example, since a ring can be understood as a preadditive category with a single object.
In his T?hoku article, Grothendieck listed four additional axioms (and their duals) that an abelian category A might satisfy. These axioms are still in common use to this day. They are the following:
AB3) For every indexed family (Ai) of objects of A, the coproduct *Ai exists in A (i.e. A is cocomplete).
AB4) A satisfies AB3), and the coproduct of a family of monomorphisms is a monomorphism.
Axioms AB1) and AB2) were also given. They are what make an additive category abelian. Specifically:
AB1) Every morphism has a kernel and a cokernel.
AB2) For every morphism f, the canonical morphism from coim f to im f is an isomorphism.
Grothendieck also gave axioms AB6) and AB6*).
AB6) A satisfies AB3), and given a family of filtered categories and maps , we have , where lim denotes the filtered colimit.
AB6*) A satisfies AB3*), and given a family of cofiltered categories and maps , we have , where lim denotes the cofiltered limit.
Given any pair A, B of objects in an abelian category, there is a special zero morphism from A to B. This can be defined as the zero element of the hom-set Hom(A,B), since this is an abelian group.
Alternatively, it can be defined as the unique composition A -> 0 -> B, where 0 is the zero object of the abelian category.
In an abelian category, every morphism f can be written as the composition of an epimorphism followed by a monomorphism.
This epimorphism is called the coimage of f, while the monomorphism is called the image of f.
Every abelian category A is a module over the monoidal category of finitely generated abelian groups; that is, we can form a tensor product of a finitely generated abelian group G and any object A of A.
The abelian category is also a comodule; Hom(G,A) can be interpreted as an object of A.
If A is complete, then we can remove the requirement that G be finitely generated; most generally, we can form finitaryenriched limits in A.
There are numerous types of (full, additive) subcategories of abelian categories that occur in nature, as well as some conflicting terminology.
Let A be an abelian category, C a full, additive subcategory, and I the inclusion functor.
C is an exact subcategory if it is itself an exact category and the inclusion I is an exact functor. This occurs if and only if C is closed under pull-backs of epimorphisms and push-outs of monomorphisms. The exact sequences in C are thus the exact sequences in A for which all objects lie in C.
C is an abelian subcategory if it is itself an abelian category and the inclusion I is an exact functor. This occurs if and only if C is closed under taking kernels and cokernels. Note that there are examples of full subcategories of an abelian category which are themselves abelian but where the inclusion functor is not exact, so they are not abelian subcategories (see below).
C is a thick subcategory if it is closed under taking direct summands and satisfies the 2-out-of-3 property on short exact sequences; that is, if is a short exact sequence in A such that two of lie in C, then so does the third. In other words, C is closed under kernels of epimorphisms, cokernels of monomorphisms, and extensions. Note that P. Gabriel used the term thick subcategory to describe what we here call a Serre subcategory.
C is a topologizing subcategory if it is closed under subquotients.
C is a Serre subcategory if, for all short exact sequences in A we have M in C if and only if both are in C. In other words, C is closed under extensions and subquotients. These subcategories are precisely the kernels of exact functors from A to another abelian category.
There are two competing notions of a wide subcategory. One version is that C contains every object of A (up to isomorphism); for a full subcategory this is obviously not interesting. (This is also called a lluf subcategory.) The other version is that C is closed under extensions.
Here is an explicit example of a full, additive subcategory of an abelian category which is itself abelian but the inclusion functor is not exact. Let k be a field, the algebra of upper-triangular matrices over k, and the category of finite-dimensional -modules. Then each is an abelian category and we have an inclusion functor identifying the simple projective, simple injective and indecomposable projective-injective modules. The essential image of I is a full, additive subcategory, but I is not exact.
Abelian categories were introduced by Buchsbaum (1955) (under the name of "exact category") and Grothendieck (1957) in order to unify various cohomology theories. At the time, there was a cohomology theory for sheaves, and a cohomology theory for groups. The two were defined differently, but they had similar properties. In fact, much of category theory was developed as a language to study these similarities. Grothendieck unified the two theories: they both arise as derived functors on abelian categories; the abelian category of sheaves of abelian groups on a topological space, and the abelian category of G-modules for a given group G.