Cohomology
This is an old revision of this page, as edited by Foxtrot (talk | contribs) at 23:26, January 14, 2008. It may differ significantly from current revision.
In category theory, the cohomology of an exact sequence studies the relationship between the cokernels and coimage, when it is possible to take their quotient. Cohomology is the category-theoretic dual of homology.
Well-known examples include de Rham cohomology in differential geometry, elliptic curve cohomology, and hyperbolic cohomology of infinite Abelian groups.