A cartesian presentation of weak n-categories

Abstract

We propose a notion of weak (n+k,n)-category, which we call (n+k,n)-Theta-spaces. The (n+k,n)-Theta-spaces are precisely the fibrant objects of a certain model category structure on the category of presheaves of simplicial sets on Joyal's category Theta_n. This notion is a generalization of that of complete Segal spaces (which are precisely the (infty,1)-Theta-spaces). Our main result is that the above model category is cartesian.

Incorporates corrections to the published version, which appeared in a separate correction note

References in corpus (1)

• Iterated wreath product of the simplex category and iterated loop spaces

Cited by in corpus (31)

• Model Structures on Commutative Monoids in General Model Categories
• Iterated spans and classical topological field theories
• (Op)lax natural transformations, twisted quantum field theories, and "even higher" Morita categories
• Homotopy theory for algebras over polynomial monads
• A note on the $(\infty ,n)$-category of cobordisms
• Higher quasi-categories vs higher Rezk spaces
• Comparison of models for $(\infty ,n)$-categories, I
• Comparison of models for $(\infty ,n)$-categories, II
• Model structures for $(\infty ,n)$-categories on (pre)stratified simplicial sets and prestratified simplicial spaces
• Left Bousfield localization without left properness
• Cochain level May-Steenrod operations
• A homotopy coherent cellular nerve for bicategories
• A Quillen's Theorem A for strict $\infty$-categories I: the simplicial proof
• The $\mathbb{R}$-Local Homotopy Theory of Smooth Spaces
• A bivariant Yoneda lemma and $(\infty ,2)$-categories of correspondences
• Rigidification of higher categorical structures
• An $(\infty ,2)$-categorical pasting theorem
• Quasi-Categories vs. Segal Spaces: Cartesian Edition
• Equivariant dendroidal Segal spaces and $G$-$\infty$-operads
• Categories of graphs for operadic structures
• Envelopes for Algebraic Patterns
• On autoequivalences of the (\infty, 1)-category of \infty-operads
• Filter Quotients and Non-Presentable $(\infty ,1)$-Toposes
• Segalification and the Boardman-Vogt tensor product
• Inner horns for 2-quasi-categories
• A cubical model for $(\infty ,n)$-categories
• Equivalences in diagrammatic sets
• A universal characterization of noncommutative motives and secondary algebraic K-theory
• Shadows are Bicategorical Traces
• Discreteness and completeness for ${\Theta }_n$-models of $(\infty ,n)$-categories
• Atiyah-Segal completion for the Hermitian K-theory of Symplectic Groups