Sure, thanks.
]]>Corrected the definition: simplicial maps have nothing to do with simplicial identities, only with face and degeneracy maps.
]]>renaming entry to singular form
]]>a minimum, in order to satisfy a link that got demanded at constructive model structure on simplicial sets
]]>