Separable morphisms of simplicial sets - Dimitri Chikhladze (2006)