|
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 == *Groupoid *Homotopy type theory *Pursuing Stacks 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「∞-groupoid」の詳細全文を読む スポンサード リンク
|