∞-groupoid
In category theory, a branch of mathematics, an ∞-groupoid is an abstract homotopical model for topological spaces. One model uses Kan complexes which are fibrant objects in the category of simplicial sets (with the standard model structure).[1] It is an ∞-category generalization of a groupoid, a category in which every morphism is an isomorphism.
The homotopy hypothesis states that ∞-groupoids are spaces.
See also
References
External links
- infinity-groupoid in nLab
- Maltsiniotis, Georges, Grothendieck ∞-groupoids,and still another definition of ∞-categories (PDF)
This article is issued from
Wikipedia.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.