La condición de kan y la noción de grupoide (1971)
1.1. Como es sabido existe una inclusión (es decir un factor plenamente fie).