A groupoid is a category in which every morphism is an isomorphism. Un groupoïde est une petite catégorie dans laquelle tout morphisme est un isomorphisme.
2.
The homotopy category of S(X) is the fundamental groupoid of X. More general than the previous example, every Kan complex is an example of a quasi-category. La catégorie homotopique de S(X) est le groupoïde fondamental de X. D’une façon plus générale, tout complexe de Kan (en) est un exemple de quasi-catégorie.
