Abelian category: Difference between revisions
imported>Giovanni Antonio DiMatteo (Soit page) |
mNo edit summary |
||
| (4 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
The theory of abelian categories was developed simultaneously during the 1950s to develop a language with the aim of defining [[cohomology]] in a general framework. The foundations of abelian categories and [[homological algebra]] were outlined in the paper ''Sur quelques points d'algèbre homologique'' (often referred to as "Tohoku," owing to the name of the journal in which it was published) by | {{subpages}} | ||
The theory of '''abelian categories''' was developed simultaneously (by [[Alexander Grothendieck]] and someone else) during the 1950s to develop a language with the aim of defining [[cohomology]] in a general framework. The foundations of abelian categories and [[homological algebra]] were outlined in the paper ''Sur quelques points d'algèbre homologique'' (often referred to as "Tohoku," owing to the name of the journal in which it was published) by Grothendieck. | |||
A surprising result due to Freyd and Mitchell states that every [[Category theory|small]] abelian category is [[Category of functors|equivalent]] to a category of [[Module|modules]]. This has one important consequence of allowing one to often prove propositions regarding (small) diagrams in any abelian category by assuming the diagram is in the category of modules, a procedure usually referred to as "diagram chasing." | A surprising result due to Freyd and Mitchell states that every [[Category theory|small]] abelian category is [[Category of functors|equivalent]] to a category of [[Module|modules]]. This has one important consequence of allowing one to often prove propositions regarding (small) diagrams in any abelian category by assuming the diagram is in the category of modules, a procedure usually referred to as "diagram chasing." | ||
| Line 5: | Line 6: | ||
==Definition and Examples== | ==Definition and Examples== | ||
An abelian category is an [[additive category]] satisfying the additional requirement that every monomorphism is a kernel and every epimorphism is a cokernel. | An abelian category is an [[additive category]] satisfying the additional requirement that every morphism has a kernel and a cokernel, and that every monomorphism is a kernel of some morphism and every epimorphism is a cokernel of some morphism. | ||
#The category of modules over a ring <math>R</math>. In particular, the category of modules over <math>\mathbb{Z}</math> (which is equivalent to the category of [[Abelian group|abelian groups]]), is also an abelian category. | #The category of modules over a ring <math>R</math>. In particular, the category of modules over <math>\mathbb{Z}</math> (which is equivalent to the category of [[Abelian group|abelian groups]]), is also an abelian category. | ||
#The category of [[sheaves]] on a topological space <math>X</math> with values in an abelian category is again an abelian category. | #The category of [[sheaves]] on a topological space <math>X</math> with values in an abelian category is again an abelian category.[[Category:Suggestion Bot Tag]] | ||
Latest revision as of 13:54, 5 July 2024
The theory of abelian categories was developed simultaneously (by Alexander Grothendieck and someone else) during the 1950s to develop a language with the aim of defining cohomology in a general framework. The foundations of abelian categories and homological algebra were outlined in the paper Sur quelques points d'algèbre homologique (often referred to as "Tohoku," owing to the name of the journal in which it was published) by Grothendieck.
A surprising result due to Freyd and Mitchell states that every small abelian category is equivalent to a category of modules. This has one important consequence of allowing one to often prove propositions regarding (small) diagrams in any abelian category by assuming the diagram is in the category of modules, a procedure usually referred to as "diagram chasing."
Definition and Examples
An abelian category is an additive category satisfying the additional requirement that every morphism has a kernel and a cokernel, and that every monomorphism is a kernel of some morphism and every epimorphism is a cokernel of some morphism.
- The category of modules over a ring . In particular, the category of modules over (which is equivalent to the category of abelian groups), is also an abelian category.
- The category of sheaves on a topological space with values in an abelian category is again an abelian category.
