Commit 2022-07-19 18:28 5797ef5c
View on Github →feat(algebraic_topology): alternating_coface_map_complex (#14588) This PR constructs the alternating coface map complex of a cosimplicial object in an additive category. This construction is dual to the alternating face map complex.