A Cartesian presentation of weak n-categories
From MaRDI portal
Publication:982156
DOI10.2140/GT.2010.14.521zbMATH Open1203.18015arXiv0901.3602OpenAlexW3105909605MaRDI QIDQ982156FDOQ982156
Authors: Charles Rezk 
Publication date: 6 July 2010
Published in: Geometry \& Topology (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/0901.3602
Recommendations
- Comparison of models for (∞,n)‐categories, II
- On the equivalence between \(\Theta _{n}\)-spaces and iterated Segal spaces
- Simplicial methods for higher categories. Segal-type models of weak \(n\)-categories
- Towards an axiomatization of the theory of higher categories
- Higher Quasi-Categories vs Higher Rezk Spaces
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the Classification of Topological Field Theories
- Universal homotopy theories
- Title not available (Why is that?)
- A cellular nerve for higher categories
- A model category structure on the category of simplicial categories
- A model for the homotopy theory of homotopy theory
- A survey of definitions of \(n\)-category
- Title not available (Why is that?)
- Iterated wreath product of the simplex category and iterated loop spaces
- Three models for the homotopy theory of homotopy theories
- Nonstrict notions of \(n\)-category and \(n\)-groupoid via multisimplical sets
Cited In (79)
- Left Bousfield localization without left properness
- Categories of graphs for operadic structures
- Discreteness and completeness for \(\Theta_n\)-models of \((\infty, n)\)-categories
- Title not available (Why is that?)
- A universal characterization of noncommutative motives and secondary algebraic \(K\)-theory
- Stratified noncommutative geometry
- Title not available (Why is that?)
- Title not available (Why is that?)
- On distributivity in higher algebra I: the universal property of bispans
- What is an equivalence in a higher category?
- An (∞,2)-categorical pasting theorem
- Contravariance through enrichment
- An explicit comparison between 2-complicial sets and \(\Theta_2\)-spaces
- A homotopy coherent nerve for \((\infty, n)\)-categories
- On straightening for Segal spaces
- A note on the \((\infty,n)\)-category of cobordisms
- Factorization homology. I: Higher categories
- Iterated spans and classical topological field theories
- Models for $(\infty, n)$-categories and the cobordism hypothesis
- A bivariant Yoneda lemma and \((\infty, 2)\)-categories of correspondences
- A stratified homotopy hypothesis
- Complete Segal spaces arising from simplicial categories
- A type theory for synthetic $\infty$-categories
- A model category structure on the category of simplicial categories
- Title not available (Why is that?)
- Configuration spaces and $\Theta _n$
- EQUIVALENCE OF MODELS FOR EQUIVARIANT (∞, 1)-CATEGORIES
- Homotopy sheaves on generalised spaces
- Model structures on finite total orders
- Moment categories and operads
- Fundamental pushouts of n-complicial sets
- Weak \(n\)-categories: Opetopic and multitopic foundations.
- Model structures on commutative monoids in general model categories
- Homotopy-coherent algebra via Segal conditions
- Univalence and completeness of Segal objects
- Correction to ``A Cartesian presentation of weak \(n\)-categories
- Title not available (Why is that?)
- Weak identity arrows in higher categories
- Bousfield-Segal spaces
- On \(\infty\)-cosmoi of bicategories
- Filter quotients and non-presentable \((\infty,1)\)-toposes
- Five Lectures on Topological Field Theory
- Completion and torsion over commutative DG rings
- An operadic proof of Baez-Dolan stabilization hypothesis
- On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- Dualizable tensor categories
- Two-variable fibrations, factorisation systems and -categories of spans
- Joyal's category \(\varTheta\) is a test category
- Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
- Derived algebraic geometry
- On the equivalence between $\Theta _{n}$-spaces and iterated Segal spaces
- A homotopy coherent cellular nerve for bicategories
- Homotopy theory for algebras over polynomial monads
- Inner horns for 2-quasi-categories
- Comparison of models for \((\infty , n)\)-categories. I
- The comprehension construction
- Descent for quasi-coherent sheaves on stacks
- Yoneda lemma for complete Segal spaces
- (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories
- The \(\mathbb{R}\)-local homotopy theory of smooth spaces
- Flagged higher categories
- Spectral sequences in \((\infty,1)\)-categories
- A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof
- Quasi-categories vs. Segal spaces: Cartesian edition
- Yoneda lemma for simplicial spaces
- Three models for the homotopy theory of homotopy theories
- Model structures for \(( \infty,n)\)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces
- The Duskin nerve of 2-categories in Joyal's cell category \(\Theta_2\)
- Equivariant dendroidal Segal spaces and \(G\)-\(\infty\)-operads
- On the unicity of the theory of higher categories
- A Quillen adjunction between globular and complicial approaches to \((\infty, n)\)-categories
- Symmetric monoidal categories and $\Gamma$-categories
- On lax transformations, adjunctions, and monads in $(\infty,2)$-categories
- The Cobordism hypothesis
- Cochain level May-Steenrod operations
- Yoneda lemma for enriched \(\infty\)-categories
- Homotopy theory of algebras of substitudes and their localisation
- A Type-Theoretical Definition of Weak {\omega}-Categories
This page was built for publication: A Cartesian presentation of weak \(n\)-categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q982156)
