Weak complicial sets. I: Basic homotopy theory

DOI10.1016/j.aim.2008.06.003zbMath1158.18007arXivmath/0604414OpenAlexW2029215936MaRDI QIDQ950425

D. R. B. Verity

Publication date: 22 October 2008

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

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

zbMATH Keywords

simplicial setsKan complexQuillen model categoryhigher category theoryGray tensor productquasi-categorycategorical 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)

Related Items

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

Cites Work

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