Chain duality II (Ex)
From Manifold Atlas
Let be an additive category with chain duality. Show that induces an isomorphism (rather than just a chain equivalence) of chain complexes of abelian groups
Observe that is an involution. Define further
Show that it induces an isomorphism of chain complexes and is an involution.