Commit 2021-05-11 05:55 ca4024b3
View on Github →feat(algebraic_topology/cech_nerve): Adds a definition of the Cech nerve associated to an arrow. (#7547) Also adds a definition of augmented simplicial objects as a comma category.
feat(algebraic_topology/cech_nerve): Adds a definition of the Cech nerve associated to an arrow. (#7547) Also adds a definition of augmented simplicial objects as a comma category.