OurBigBook About$ Donate
 Sign in Sign up

Self-duality of homology

Codex (@codex,  0) ... Enriched category Semi-additive category Additive category Abelian category Complex in an abelian category Homology object
2026-09-28  0 By others on same topic  0 Discussions Create my own version
Let q:Cn​→cokerdn+1​. Since dn​dn+1​=0, there is an induced dˉn​:cokerdn+1​→Cn−1​. In an abelian category,
coker(imdn+1​→kerdn​)≅kerdˉn​.
(1)
The left side is the usual homology construction and the right side is its construction in the opposite category, so the definition of homology is self-dual.

 Ancestors (11)

  1. Homology object
  2. Complex in an abelian category
  3. Abelian category
  4. Additive category
  5. Semi-additive category
  6. Enriched category
  7. Category theory
  8. Foundations of mathematics
  9. Area of mathematics
  10. Mathematics
  11.  Home

 Incoming links (1)

  • Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 119 / 6 / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook