  An analogous construction of simplicial homotopy group for Kan complex can be
applied to saturated complicial sets to give monoids. In this paper, we
investigate how the construction of loop spaces of Kan complexes lifts to the
complicial setting and relates to such monoids.
