Note on the construction of globular weak omega-groupoids from types, topological spaces etc

Abstract

A short introduction to Grothendieck weak omega-groupoids is given. Our aim is to give evidence that, in certain contexts, this simple language is a convenient one for constructing globular weak omega-groupoids. To this end, we give a short reworking of van den Berg and Garner's construction of a Batanin weak omega-groupoid from a type using the language of Grothendieck weak omega-groupoids.

10 pages. Slightly expanded final version. Cahiers de Topologie et Geometrie Differentielle Categoriques Volume LVII (2016)

References in corpus (3)

• The identity type weak factorisation system
• Weak omega-categories from intensional type theory
• Grothendieck $\infty$-groupoids, and still another definition of $\infty$-categories

Cited by in corpus (3)

• Algebraic models of homotopy types and the homotopy hypothesis
• On the homotopy hypothesis in dimension 3
• A semi-model structure for Grothendieck weak 3-groupoids