Physics Library
 An open source physics library
Encyclopedia | Forums | Docs | Random | Template Test |  
Login
create new user
Username:
Password:
forget your password?
Main Menu
Sections

Talkback

Downloads

Information
Abelian category (Definition)

The following is the definition of an Abelian category according to Barry Mitchell (1965).

Definition 0.1   An Abelian category is an exact additive category with finite products.

The following theorem from ref.[1] is also relevant as it relates key properties of Abelian categories:

“The following statements are equivalent:
  1. $\mathcal A$ is an Abelian category;
  2. $\mathcal A$ has kernels, cokernels, finite products, finite coproducts, and is both normal and comormal;
  3. $\mathcal A$ has pushouts and pullbacks and is both normal and conormal”.

Bibliography

1
Barry Mitchell. Theory of Categories, Academic Press: New York and London, 1965, (Theorem 20.1 on p.33).



"Abelian category" is owned by bci1.

View style:

See Also: non-Abelian theory, Yoneda lemma, center of Abelian category

Other names:  abelian category
Keywords:  Abelian, category, Abelian category, commuativity and Abelian axioms

Cross-references: theorem, additive category
There are 24 references to this object.

This is version 2 of Abelian category, born on 2009-02-13, modified 2009-02-13.
Object id is 517, canonical name is AbelianCategory.
Accessed 1024 times total.

Classification:
Physics Classification00. (GENERAL)
 02. (Mathematical methods in physics)
 03. (Quantum mechanics, field theories, and special relativity )
 03.65.Fd (Algebraic methods )

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:

No messages.

Testing some escape charachters for html category with a generator has an injective cogenerator" now escape ” with "