Commit 2023-10-20 14:35 3b7adb75
View on Github →feat: a homotopy of maps of cochain complexes identifies to (-1)-cochains in the complex of homomorphisms (#7656)
This PR introduces an equivalence between homotopy of maps of cochains complexes and (-1)-cochains satisfying suitable conditions. It also introduces the action of an additive functor on cochains.