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