Kan complex

simplicial set such that the map to the singleton is a Kan fibration; model for ∞-groupoids