Homotopy types of strict 3-groupoids

Abstract

We look at strict $n$-groupoids and show that if $\Re$ is any realization functor from the category of strict $n$-groupoids to the category of spaces satisfying a minimal property of compatibility with homotopy groups, then there is no strict $n$-groupoid $G$ such that $\Re (G)$ is the $n$-type of $S^2$ (for $n\ge 3$). At the end we speculate on how one might fix this problem by introducing a notion of ``snucategory'', a strictly associative $n$-category with only weak units.

References in corpus (1)

• Computing Homotopy Types Using Crossed N-Cubes of Groups

Cited by in corpus (14)

• Note on commutativity in double semigroups and two-fold monoidal categories
• On the homotopy theory of Grothendieck \infty-groupoids
• The periodic table of $n$-categories for low dimensions II: degenerate tricategories
• A Quillen's Theorem A for strict $\infty$-categories I: the simplicial proof
• Associative $n$-categories
• Elementary remarks on units in monoidal categories
• Algebraic Definition of weak ($\infty$; n)-Categories
• Diagrammatic sets and rewriting in weak higher categories
• Frobenius algebras and homotopy fixed points of group actions on bicategories
• Plots and Their Applications - Part I: Foundations
• Weakly globular Tamsamani N-categories and their rigidification
• A Type Theory for Strictly Associative Infinity Categories
• Segal-type models of higher categories
• The ziqqurath of exact sequences of n-groupoids