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