Weak complicial sets. I: Basic homotopy theory

DOI10.1016/J.AIM.2008.06.003zbMATH Open1158.18007arXivmath/0604414OpenAlexW2029215936MaRDI QIDQ950425FDOQ950425

Authors: D. R. B. Verity 

Publication date: 22 October 2008

Published in: Advances in Mathematics (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/math/0604414

Recommendations

• Orientals as free weak \(\omega \)-categories
• Weak complicial sets. II: Nerves of complicial Gray-categories
• scientific article; zbMATH DE number 1963534
• Complicial sets, an overture
• Complicial sets characterising the simplicial nerves of strict 𝜔-categories

zbMATH Keywords

higher category theoryQuillen model categoryGray tensor productsimplicial setsquasi-categoryKan complexcategorical homotopy theoryhorn filler conditionweak complicial set

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Cites Work

• Title not available (Why is that?)
• Homotopical algebra
• Title not available (Why is that?)
• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• Adjoint Functors
• Title not available (Why is that?)
• On closed categories of functors
• Quasi-categories and Kan complexes
• The algebra of oriented simplexes
• Complicial sets characterising the simplicial nerves of strict 𝜔-categories
• Sheafifiable homotopy model categories
• Homotopy coherent category theory
• Joins for (augmented) simplicial sets
• Homotopy limits and colimits
• Vogt's theorem on categories of homotopy coherent diagrams
• On Injectivity in Locally Presentable Categories
• Ordinal subdivision and special pasting in quasicategories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Weak complicial sets. II: Nerves of complicial Gray-categories

Cited In (45)

• Higher groupoid bundles, higher spaces, and self-dual tensor field equations
• Weak complicial sets. II: Nerves of complicial Gray-categories
• On loop spaces of simplicial sets with marking
• On the construction of limits and colimits in $\infty$-categories
• An \((\infty ,2)\)-categorical pasting theorem
• Weak Cartesian properties of simplicial sets
• Discreteness and completeness for \(\Theta_n\)-models of \((\infty, n)\)-categories
• Complicial sets, an overture
• Recognizing quasi-categorical limits and colimits in homotopy coherent nerves
• Cubical models of higher categories without connections
• A relative 2-nerve
• Title not available (Why is that?)
• 2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories
• Nerves and cones of free loop-free \(\omega\)-categories
• The Gray tensor product for 2-quasi-categories
• Gray tensor products and lax functors of \((\infty, 2)\)-categories
• On \(\infty\)-cosmoi of bicategories
• Weak model categories in classical and constructive mathematics
• What is an equivalence in a higher category?
• Complicial sets characterising the simplicial nerves of strict 𝜔-categories
• The 2-category theory of quasi-categories
• Complicial structures in the nerves of omega-categories
• Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
• Nerves of bicategories as stratified simplicial sets
• Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
• Fundamental pushouts of \(n\)-complicial sets
• Ordinal subdivision and special pasting in quasicategories
• An explicit comparison between 2-complicial sets and \(\Theta_2\)-spaces
• Inner horns for 2-quasi-categories
• Comparison of models for \((\infty , n)\)-categories. I
• Quasi-categories and Kan complexes
• Cartesian fibrations of complete Segal spaces
• Title not available (Why is that?)
• Algebraic models for higher categories
• Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories
• On the equivalence of all models for (∞,2)$(\infty,2)$‐categories
• An inductive model structure for strict \(\infty\)-categories
• Orientals as free weak \(\omega \)-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
• Model structures for \(( \infty,n)\)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces
• Nerves of 2-categories and 2-categorification of \(( \infty ,2)\)-categories
• On the unicity of the theory of higher categories
• A Quillen adjunction between globular and complicial approaches to \((\infty, n)\)-categories

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)