Towards an axiomatization of the theory of higher categories
From MaRDI portal
Publication:2576459
DOI10.1007/S10977-005-4556-6zbMATH Open1083.18003arXivmath/0409598OpenAlexW118820935MaRDI QIDQ2576459FDOQ2576459
Authors: Bertrand Toën 
Publication date: 13 December 2005
Published in: \(K\)-Theory (Search for Journal in Brave)
Abstract: We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.
Full work available at URL: https://arxiv.org/abs/math/0409598
Recommendations
- Axiomatizing a category of categories
- scientific article; zbMATH DE number 4053582
- On the unicity of the theory of higher categories
- scientific article; zbMATH DE number 1231631
- scientific article; zbMATH DE number 1863382
- Axiomatizing iteration categories
- scientific article; zbMATH DE number 1136106
- scientific article; zbMATH DE number 897932
- FOUNDATIONS OF THE THEORY OF CATEGORIES
- Axiomatic method and category theory
Cites Work
Cited In (45)
- AXIOM I0 AND HIGHER DEGREE THEORY
- A note on the \((\infty,n)\)-category of cobordisms
- The homotopy theory of type theories
- Hermitian K-theory for stable \(\infty\)-categories. I: Foundations
- Models for $(\infty, n)$-categories and the cobordism hypothesis
- A stratified homotopy hypothesis
- On the algebraic \(K\)-theory of higher categories
- On exact \(\infty\)-categories and the theorem of the heart
- Relative categories: another model for the homotopy theory of homotopy theories
- Model structures on the category of small double categories
- Discreteness and completeness for \(\Theta_n\)-models of \((\infty, n)\)-categories
- Dualizing cartesian and cocartesian fibrations
- Infinity category theory from scratch
- Axiomatizing iteration categories
- Comparison of models for (∞,n)‐categories, II
- Homotopy (pre)derivators of cofibration categories and quasicategories
- How to glue derived categories
- Recognizing quasi-categorical limits and colimits in homotopy coherent nerves
- An elementary proof of the naturality of the Yoneda embedding
- Univalence and completeness of Segal objects
- Lax monoidal adjunctions, two‐variable fibrations and the calculus of mates
- Differential graded versus simplicial categories
- A proof of the associated sheaf theorem by means of categorical logic
- On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- A Thomason model structure on the category of small \(n\)-fold categories
- Two-variable fibrations, factorisation systems and -categories of spans
- On the Grothendieck construction for \(\infty\)-categories
- Quasicategories of frames of cofibration categories
- An enrichment theorem for an axiomatisation of categories of domains and continuous functions
- A Cartesian presentation of weak \(n\)-categories
- \(K\)-theory for 2-categories
- A Survey of (∞, 1)-Categories
- Comparison of models for \((\infty , n)\)-categories. I
- A model for the higher category of higher categories
- Cartesian fibrations of complete Segal spaces
- Multifunctorial \(K\)-theory is an equivalence of homotopy theories
- Chern characters, equivariant traces and derived algebraic geometry
- Spectral sequences in \((\infty,1)\)-categories
- Quasi-categories vs. Segal spaces: Cartesian edition
- Homotopy equivalent algebraic structures in multicategories and permutative categories
- On the unicity of the theory of higher categories
- THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE
- Title not available (Why is that?)
- A whirlwind tour of the world of \((\infty,1)\)-categories
This page was built for publication: Towards an axiomatization of the theory of higher categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2576459)
