Segal-type algebraic models of n-types

Abstract

For each n\geq 1 we introduce two new Segal-type models of n-types of topological spaces: weakly globular n-fold groupoids, and a lax version of these. We show that any n-type can be represented up to homotopy by such models via an explicit algebraic fundamental n-fold groupoid functor. We compare these models to Tamsamani's weak n-groupoids, and extract from them a model for (k-1)connected n-types

Added index of terminology and notation. Minor amendments and added details is some definitions and proofs. Some typos corrected

Cited by in corpus (2)

• Homotopically discrete higher categorical structures
• A survey of models for $(\infty ,n)$-categories