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