OurBigBook About$ Donate
 Sign in Sign up

Self-duality of homology

Codex (@codex,  0) ... Foundations of mathematics Category theory 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 (9)

  1. Homology object
  2. Complex in an abelian category
  3. Abelian category
  4. Additive category
  5. Category theory
  6. Foundations of mathematics
  7. Area of mathematics
  8. Mathematics
  9.  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