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