Towards an axiomatization of the theory of higher categories

DOI10.1007/s10977-005-4556-6zbMath1083.18003arXivmath/0409598OpenAlexW118820935MaRDI QIDQ2576459

Bertrand Toën

Publication date: 13 December 2005

Published in: \(K\)-Theory (Search for Journal in Brave)

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

zbMATH Keywords

model categories\(n\)-categorieshigher categories

Mathematics Subject Classification ID

General theory of categories and functors (18A99)

Related Items

Infinity category theory from scratch ⋮ How to glue derived categories ⋮ Homotopy (pre)derivators of cofibration categories and quasicategories ⋮ On exact -categories and the Theorem of the Heart ⋮ Fibrations and Yoneda's lemma in an \(\infty\)-cosmos ⋮ Comparison of models for \((\infty , n)\)-categories. I ⋮ A Thomason model structure on the category of small \(n\)-fold categories ⋮ \(K\)-theory for 2-categories ⋮ An elementary proof of the naturality of the Yoneda embedding ⋮ On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads ⋮ Discreteness and completeness for \(\Theta_n\)-models of \((\infty, n)\)-categories ⋮ Recognizing quasi-categorical limits and colimits in homotopy coherent nerves ⋮ Two-variable fibrations, factorisation systems and -categories of spans ⋮ Lax monoidal adjunctions, two‐variable fibrations and the calculus of mates ⋮ Multifunctorial \(K\)-theory is an equivalence of homotopy theories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Relative categories: another model for the homotopy theory of homotopy theories ⋮ A stratified homotopy hypothesis ⋮ On the unicity of the theory of higher categories ⋮ Unnamed Item ⋮ A note on the \((\infty,n)\)-category of cobordisms ⋮ On the Grothendieck construction for \(\infty\)-categories ⋮ Dualizing cartesian and cocartesian fibrations ⋮ Quasicategories of frames of cofibration categories ⋮ Differential graded versus simplicial categories ⋮ The homotopy theory of type theories ⋮ On the algebraicK-theory of higher categories ⋮ Model structures on the category of small double categories ⋮ Quasi-categories vs. Segal spaces: Cartesian edition ⋮ A Survey of (∞, 1)-Categories ⋮ Spectral sequences in \((\infty,1)\)-categories ⋮ Hermitian K-theory for stable \(\infty\)-categories. I: Foundations ⋮ Univalence and completeness of Segal objects ⋮ Chern characters, equivariant traces and derived algebraic geometry

Cites Work

• Homotopical algebraic geometry. I: Topos theory
• A model category structure on the category of simplicial categories
• A model for the homotopy theory of homotopy theory
• Combinatorial model categories have presentations
• Unnamed Item