An inductive model structure for strict \(\infty\)-categories

DOI10.1016/J.JPAA.2024.107859MaRDI QIDQ6671779

[[Person:6091828|Author name not available (Why is that?)]], Simon Henry

Publication date: 27 January 2025

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Mathematics Subject Classification ID

Homotopical algebra, Quillen model categories, derivators (18N40) Strict omega-categories, computads, polygraphs (18N30) ((infty, n))-categories and ((infty,infty))-categories (18N65)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Higher-dimensional word problems with applications to equational logic
• A cellular nerve for higher categories
• Weak complicial sets. I: Basic homotopy theory
• A folk model structure on omega-cat
• The algebra of oriented simplexes
• Limits indexed by category-valued 2-functors
• Complicial sets, an overture
• Omega-categories and chain complexes
• Multiple categories: The equivalence of a globular and a cubical approach
• Model structures for \(( \infty,n)\)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces
• An \(\omega\)-category with all duals is an \(\omega\)-groupoid
• Cofibrant objects among higher-dimensional categories
• Modules over operads and functors
• Combinatorial and accessible weak model categories
• Homotopy limits of model categories and more general homotopy theories
• The folk model category structure on strict $\omega$-categories is monoidal
• Weak model categories in classical and constructive mathematics
• Lax limits of model categories
• Higher-dimensional algebra and topological quantum field theory
• A Quillen Theorem B for strict ∞‐categories
• Higher Topos Theory (AM-170)
• Abstract homotopy theory and generalized sheaf cohomology
• Combinatorial model categories have presentations
• Left Bousfield localization without left properness

This page was built for publication: An inductive model structure for strict \(\infty\)-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6671779)