nLab Grothendieck-Maltsiniotis infinity-category

Redirected from "Grothendieck infinity-groupoid".
Contents

Context

Category theory

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

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

A definition as models of a dependent type theory is given in

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

On the homotopy hypothesis for Grothendieck 3-groupoids:

Last revised on August 25, 2023 at 16:59:21. See the history of this page for a list of all contributions to it.