nLab Grothendieck-Maltsiniotis infinity-category

category theory

Applications

Higher category theory

higher category theory

Contents

Idea

An algebraic definition of ∞-groupoids and ∞-categories similar to (but older than) the definition Batanin ω-categories.

References

The original definition is indicated in words in sections 1-13 of

This has been extracted and formalized in

A comprehensive account of a simplified version of the definition and its generalization from $\infty$-groupoids to $\infty$-categories is given in

• Georges Maltsiniotis, Grothendieck $\infty$-groupoids and still another definition of $\infty$-categories (arXiv:1009.2331)

The relation to Batanin ω-categories is discussed in

• Dimitri Ara, Sur les $\infty$-groupoïdes de Grothendieck Thesis, under the supervision of G. Maltsiniotis, (2010) (pdf)

A brief survey is provided in

Revised on March 10, 2014 00:56:15 by Urs Schreiber (89.204.139.55)