A closed model structure for $n$-categories, internal $Hom$, $n$-stacks and generalized Seifert-Van Kampen

Abstract

We define a closed model category containing the $n$-nerves defined by Tamsamani, and admitting internal $Hom$. This allows us to construct the $n+1$-category $nCAT$ by taking the internal $Hom$ for fibrant objects. We prove a generalized Seifert-Van Kampen theorem for Tamsamani's Poincaré $n$-groupoid of a topological space. We give a still-speculative discussion of $n$-stacks, and similarly of comparison with other possible definitions of $n$-category.

Corrects an error in the proof of Theorem 5.1, by rewriting locally. Doesn't change the rest of the text, so numerous expositional problems are left untouched

References in corpus (1)

• Algebraic (geometric) $n$-stacks

Cited by in corpus (13)

• 2-nerves for bicategories
• A Prehistory of n-Categorical Physics
• Structures in higher-dimensional category theory
• A Giraud-type characterization of the simplicial categories associated to closed model categories as $\infty$-pretopoi
• Limits in $n$-categories
• Length 3 Complexes of Abelian Sheaves and Picard 2-Stacks
• On the Breen-Baez-Dolan stabilization hypothesis for Tamsamani's weak n-categories
• Bost-Connes-Marcolli systems for Shimura varieties. I. Definitions and formal analytic properties
• Iterated distributive laws
• Calculating maps between n-categories
• $\mathcal{S}$-categories, $\mathcal{S}$-groupoids, Segal categories and quasicategories
• Secondary Kodaira-Spencer classes and nonabelian Dolbeault cohomology
• Iitaka-Viehweg conjectures C and C++