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