mathlib3
24d2713d - feat(algebraic_topology/simplicial_object): Whiskering of simplicial objects. (#7651)

Commit

4 years ago

feat(algebraic_topology/simplicial_object): Whiskering of simplicial objects. (#7651) This adds whiskering constructions for (truncated, augmented) (co)simplicial objects.

Author

adamtopaz

Parents

0bcfff99

mathlib3 24d2713d - feat(algebraic_topology/simplicial_object): Whiskering of simplicial objects. (#7651)

mathlib3
24d2713d - feat(algebraic_topology/simplicial_object): Whiskering of simplicial objects. (#7651)