Self-duality of homology

ID: self-duality-of-homology

Let . Since , there is an induced . In an abelian category,
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.

New to topics? Read the docs here!