Abelian categories are the most general category in which one can The idea and the name “abelian category” were first introduced by. In mathematics, an abelian category is a category in which morphisms and objects can be .. Peter Freyd, Abelian Categories; ^ Handbook of categorical algebra, vol. 2, F. Borceux. Buchsbaum, D. A. (), “Exact categories and duality”. BOOK REVIEWS. Abelian categories. An introduction to the theory of functors. By Peter. Freyd. (Harper’s Series in Modern Mathematics.) Harper & Row.
|Published (Last):||1 June 2016|
|PDF File Size:||8.79 Mb|
|ePub File Size:||16.73 Mb|
|Price:||Free* [*Free Regsitration Required]|
See also the Wikipedia article for the idea of the proof. All of the constructions used in that field are relevant, such as exact sequences, and especially short exact sequencesand derived functors. Grothendieck unified the two theories: The exactness properties of abelian categories have many features in common with exactness properties of toposes or of pretoposes. Let C C be an abelian category. By the second formulation of the definitionin an abelian category.
Let A be an abelian category, C a full, additive subcategory, and I the inclusion functor. This is the celebrated Freyd-Mitchell embedding theorem discussed below.
From Wikipedia, the free encyclopedia. For more discussion of the Freyd-Mitchell embedding theorem see there. But under suitable conditions this comes down to working subject to an embedding into Ab Ababslian the discussion at Embedding into Ab below.
At the time, there was a cohomology theory for sheavesand a cohomology theory for groups. A similar statement is true for additive categoriesalthough the most natural result in that case gives only enrichment over abelian monoids ; see semiadditive category. A discussion about to which extent abelian categories are a general context for homological algebra is archived at nForum here.
Remark The notion of abelian category is dategories Embedding of abelian categories into Ab is discussed in. The concept of exact sequence arises naturally in this setting, and it turns out that exact functorsi. Recall the following fact about pre-abelian categories from this propositiondiscussed there:.
Proposition Every morphism f: This definition is equivalent  to the following “piecemeal” definition:. Important theorems that apply in all abelian categories include the five lemma and the short five lemma as a special caseas well as the snake lemma and the nine lemma as a special case.
Remark Some references claim that this property characterizes abelian categories among pre-abelian ones, but it is not clear to the authors of this page why this should be so, although we do not currently have a counterexample; see this discussion. The reason is that R Mod R Mod has all small category limits and colimits. Note that the enriched structure on hom-sets is a consequence of the first three axioms of the first definition. In mathematicsan abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties.
See also the catlist discussion on comparison between abelian categories and topoi AT categories. Every monomorphism is a kernel and every epimorphism is a cokernel.
The last point is of relevance in particular for higher categorical generalizations of additive categories. Popescu, Abelian categories with applications to rings and modulesLondon Math. The category of sheaves of abelian groups on any site is abelian. These axioms are still in common use to this day.
It is such that much of the homological algebra of chain complexes can be developed inside every abelian category.
This can be defined as the zero element of the hom-set Hom ABsince this is an abelian group. The notion of abelian category is an abstraction of basic properties of the category Ab of abelian groupsmore generally of the category R R Mod of modules over some ringand still more generally of categories of sheaves of abelian groups and of modules.
For a Noetherian ring R R the category of finitely generated R R -modules is an abelian category that lacks these properties. Every small abelian category admits a fullfaithful and exact functor to the category R Mod R Mod for some ring R R.
The proof that R Mod R Mod is an abelian category is spelled out for instance in. Context Enriched category theory enriched category theory Background category theory monoidal categoryclosed monoidal category cosmosmulticategorybicategorydouble categoryvirtual double category Basic concepts enriched category enriched functorprofunctor enriched functor category Universal constructions weighted limit endcoend Extra stuff, structure, property copower ing tensoringpower ing cotensoring Homotopical enrichment enriched homotopical category enriched model category model structure on homotopical presheaves Edit this sidebar.
Abelian category – Wikipedia
It follows that every abelian category is a balanced category. See AT category for more on that. However, in most examples, the Ab Ab -enrichment is evident from the start and does not need to be constructed in this way.
The abelian category is also a comodule ; Hom GA can be interpreted as an object of A. The concept of abelian categories is one in a sequence of notions of additive and abelian categories.
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. This exactness concept has been axiomatized in the theory of exact categoriesforming a very special case of regular categories.
Abelian categories are very stable categories, for example they are regular frryd they satisfy the snake lemma. Deligne tensor product of abelian categories. Abelian categories are named after Niels Henrik Abel. These stability properties make them inevitable in homological algebra and beyond; the theory has fryd applications in algebraic geometrycohomology and pure abeian theory. Going still further one should be able to obtain a nice theorem describing the image of the embedding of the weak 2-category of.
An abelian category is a pre-abelian category satisfying the following equivalent conditions. Some references claim that this property characterizes abelian categories among pre-abelian ones, but it is not clear to the authors of this page why this should be so, although we do not currently have a counterexample; see categoriew discussion.
The motivating prototype example of an abelian category is the category of abelian groupsAb.