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.
Articles by others on the same topic
There are currently no matching articles.