From Wikipedia, the free encyclopedia
Jump to: navigation, search

In category theory, a branch of mathematics, an ∞-groupoid (also called Kan complex) is a fibrant object in the category of simplicial sets (with the standard model structure). 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[edit]

External links[edit]