topology/algebraic/doldkan: wrote homotopy-homology correspondence