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.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2009
- DOI:
- 10.48550/arXiv.0901.3602
- arXiv:
- arXiv:0901.3602
- Bibcode:
- 2009arXiv0901.3602R
- Keywords:
-
- Mathematics - Category Theory;
- Mathematics - Algebraic Topology;
- 18D05
- E-Print:
- Incorporates corrections to the published version, which appeared in a separate correction note