Weak complicial sets. I: Basic homotopy theory
From MaRDI portal
(Redirected from Publication:950425)
Abstract: This paper develops the foundations of a simplicial theory of weak omega-categories, which builds upon the insights originally expounded by Ross Street in his 1987 paper on oriented simplices. The resulting theory of weak complicial sets provides a common generalisation of the theories of (strict) omega-categories, Kan complexes and Joyal's quasi-categories. We generalise a number of results due to the current author with regard to complicial sets and strict omega-categories to provide an armoury of well behaved technical devices, such as joins and Gray tensor products, which will be used to study these the weak omega-category theory of these structures in a series of companion papers. In particular, we establish their basic homotopy theory by constructing a Quillen model structure on the category of stratified simplicial sets whose fibrant objects are the weak complicial sets. As a simple corollary of this work we provide an independent construction of Joyal's model structure on simplicial sets for which the fibrant objects are the quasi-categories.
Recommendations
Cites work
- scientific article; zbMATH DE number 4071164 (Why is no real title available?)
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 1963534 (Why is no real title available?)
- scientific article; zbMATH DE number 1860105 (Why is no real title available?)
- scientific article; zbMATH DE number 937397 (Why is no real title available?)
- Accessible Categories: The Foundations of Categorical Model Theory
- Adjoint Functors
- Complicial sets characterising the simplicial nerves of strict 𝜔-categories
- Homotopical algebra
- Homotopy coherent category theory
- Homotopy limits and colimits
- Joins for (augmented) simplicial sets
- On Injectivity in Locally Presentable Categories
- On closed categories of functors
- Ordinal subdivision and special pasting in quasicategories
- Quasi-categories and Kan complexes
- Sheafifiable homotopy model categories
- The algebra of oriented simplexes
- Vogt's theorem on categories of homotopy coherent diagrams
- Weak complicial sets. II: Nerves of complicial Gray-categories
Cited in
(45)- An inductive model structure for strict \(\infty\)-categories
- Weak Cartesian properties of simplicial sets
- Discreteness and completeness for \(\Theta_n\)-models of \((\infty, n)\)-categories
- Algebraic models for higher categories
- Yoneda lemma for simplicial spaces
- On the equivalence of all models for (∞,2)$(\infty,2)$‐categories
- Nerves of bicategories as stratified simplicial sets
- Gray tensor products and lax functors of \((\infty, 2)\)-categories
- Ordinal subdivision and special pasting in quasicategories
- Weak model categories in classical and constructive mathematics
- Cubical models of higher categories without connections
- An explicit comparison between 2-complicial sets and \(\Theta_2\)-spaces
- Nerves and cones of free loop-free \(\omega\)-categories
- Complicial sets, an overture
- Weak complicial sets. II: Nerves of complicial Gray-categories
- On \(\infty\)-cosmoi of bicategories
- Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories
- Model structures for \(( \infty,n)\)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces
- Inner horns for 2-quasi-categories
- On loop spaces of simplicial sets with marking
- On the unicity of the theory of higher categories
- Orientals as free weak \(\omega \)-categories
- Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
- Complicial sets characterising the simplicial nerves of strict 𝜔-categories
- Comparison of models for \((\infty , n)\)-categories. I
- The 2-category theory of quasi-categories
- A Quillen adjunction between globular and complicial approaches to \((\infty, n)\)-categories
- A relative 2-nerve
- Fundamental pushouts of \(n\)-complicial sets
- On the construction of limits and colimits in $\infty$-categories
- scientific article; zbMATH DE number 7806737 (Why is no real title available?)
- Nerves of 2-categories and 2-categorification of \(( \infty ,2)\)-categories
- Recognizing quasi-categorical limits and colimits in homotopy coherent nerves
- 2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories
- Quasi-categories and Kan complexes
- Higher groupoid bundles, higher spaces, and self-dual tensor field equations
- Cartesian fibrations of complete Segal spaces
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- An \((\infty ,2)\)-categorical pasting theorem
- Complicial structures in the nerves of omega-categories
- A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof
- The Gray tensor product for 2-quasi-categories
- What is an equivalence in a higher category?
- scientific article; zbMATH DE number 1963534 (Why is no real title available?)
- Quasi-categories vs. Segal spaces: Cartesian edition
This page was built for publication: Weak complicial sets. I: Basic homotopy theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q950425)
