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!