A Cartesian presentation of weak n-categories
From MaRDI portal
Publication:982156
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.
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
- scientific article; zbMATH DE number 1226952 (Why is no real title available?)
- scientific article; zbMATH DE number 1303764 (Why is no real title available?)
- scientific article; zbMATH DE number 1860105 (Why is no real title available?)
- scientific article; zbMATH DE number 5219541 (Why is no real title available?)
- 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
- Iterated wreath product of the simplex category and iterated loop spaces
- Nonstrict notions of \(n\)-category and \(n\)-groupoid via multisimplical sets
- On the Classification of Topological Field Theories
- Three models for the homotopy theory of homotopy theories
- Universal homotopy theories
Cited in
(84)- A universal characterization of noncommutative motives and secondary algebraic \(K\)-theory
- Discreteness and completeness for \(\Theta_n\)-models of \((\infty, n)\)-categories
- Stratified noncommutative geometry
- An explicit comparison between 2-complicial sets and \(\Theta_2\)-spaces
- A homotopy coherent nerve for \((\infty, n)\)-categories
- Towards a globular path object for weak \(\infty\)-groupoids
- Categories of graphs for operadic structures
- scientific article; zbMATH DE number 7005876 (Why is no real title available?)
- Left Bousfield localization without left properness
- On distributivity in higher algebra I: the universal property of bispans
- Contravariance through enrichment
- Models for $(\infty, n)$-categories and the cobordism hypothesis
- A model for the higher category of higher categories
- Cartesian fibrations of complete Segal spaces
- An \((\infty ,2)\)-categorical pasting theorem
- On straightening for Segal spaces
- What is an equivalence in a higher category?
- Moment categories and operads
- Algebraic models for higher categories
- On the equivalence between \(\Theta _{n}\)-spaces and iterated Segal spaces
- Factorization homology. I: Higher categories
- Rigidification of higher categorical structures
- Yoneda lemma for simplicial spaces
- Joyal's category \(\varTheta\) is a test category
- A survey of models for \((\infty, n)\)-categories
- Filter quotients and non-presentable \((\infty,1)\)-toposes
- EQUIVALENCE OF MODELS FOR EQUIVARIANT (∞, 1)-CATEGORIES
- Two-variable fibrations, factorisation systems and -categories of spans
- Three models for the homotopy theory of homotopy theories
- Derived algebraic geometry
- Iterated spans and classical topological field theories
- On lax transformations, adjunctions, and monads in \((\infty,2)\)-categories
- \(n\)-relative categories: a model for the homotopy theory of \(n\)-fold homotopy theories
- On \(\infty\)-cosmoi of bicategories
- Cochain level May-Steenrod operations
- Model structures on commutative monoids in general model categories
- Model structures for \(( \infty,n)\)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces
- Univalence and completeness of Segal objects
- A homotopy coherent cellular nerve for bicategories
- The Duskin nerve of 2-categories in Joyal's cell category \(\Theta_2\)
- Five Lectures on Topological Field Theory
- Inner horns for 2-quasi-categories
- A note on the \((\infty,n)\)-category of cobordisms
- Equivariant dendroidal Segal spaces and \(G\)-\(\infty\)-operads
- On the unicity of the theory of higher categories
- Flagged higher categories
- Spectral sequences in \((\infty,1)\)-categories
- scientific article; zbMATH DE number 7377654 (Why is no real title available?)
- Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
- Yoneda lemma for enriched \(\infty\)-categories
- Comparison of models for \((\infty , n)\)-categories. I
- Symmetric monoidal categories and $\Gamma$-categories
- Descent for quasi-coherent sheaves on stacks
- The cobordism hypothesis
- An operadic proof of Baez-Dolan stabilization hypothesis
- A Quillen adjunction between globular and complicial approaches to \((\infty, n)\)-categories
- Homotopy theory of algebras of substitudes and their localisation
- On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads
- A model category structure on the category of simplicial categories
- scientific article; zbMATH DE number 5836094 (Why is no real title available?)
- Homotopy-coherent algebra via Segal conditions
- Weak \(n\)-categories: Opetopic and multitopic foundations.
- Fundamental pushouts of \(n\)-complicial sets
- Completion and torsion over commutative DG rings
- Model structures on finite total orders
- Homotopy sheaves on generalised spaces
- Configuration spaces and \(\Theta_n\)
- Yoneda lemma for complete Segal spaces
- A bivariant Yoneda lemma and \((\infty, 2)\)-categories of correspondences
- The comprehension construction
- Weak identity arrows in higher categories
- A stratified homotopy hypothesis
- (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- The \(\mathbb{R}\)-local homotopy theory of smooth spaces
- A type theory for synthetic \(\infty\)-categories
- Bousfield-Segal spaces
- A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof
- Homotopy theory for algebras over polynomial monads
- Dualizable tensor categories
- Complete Segal spaces arising from simplicial categories
- Correction to ``A Cartesian presentation of weak \(n\)-categories
- A Type-Theoretical Definition of Weak {\omega}-Categories
- Quasi-categories vs. Segal spaces: Cartesian edition
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)
