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.