Category of Simplicial Objects: STopGrp
STopGrp is a contravariant functor category from Δ to TopGrp:
STopGrp ≅ [Δ°, TopGrp]
The objects of STopGrp are traditionally called "simplicial objects", and STopGrp is a category of simplicial objects.
categories_of_simplicial_objects: TopGrp, STopGrp
This data as json
| internal_simplicial_sets | parent |
|---|---|
| STopGrp | TopGrp |