Abelian category: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Giovanni Antonio DiMatteo
(Soit page)
 
imported>David E. Volk
m (subpages, workgroup moved to metadata page)
 
(3 intermediate revisions by 2 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 [[Alexander Grothendieck]].  
{{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.

Latest revision as of 18:20, 21 January 2008

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

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.

  1. 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.
  2. The category of sheaves on a topological space with values in an abelian category is again an abelian category.