groupoid meaning in French
catégorie groupoïde
Examples
- 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. - 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.