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