Text this: La condición de kan y la noción de grupoide