Towards an axiomatization of the theory of higher categories
From MaRDI portal
Publication:2576459
Abstract: We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.
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)- scientific article; zbMATH DE number 1136106 (Why is no real title available?)
- A whirlwind tour of the world of \((\infty,1)\)-categories
- AXIOM I0 AND HIGHER DEGREE THEORY
- A note on the \((\infty,n)\)-category of cobordisms
- The homotopy theory of type theories
- A stratified homotopy hypothesis
- Hermitian K-theory for stable \(\infty\)-categories. I: Foundations
- Models for $(\infty, n)$-categories and the cobordism hypothesis
- On the algebraic \(K\)-theory of higher categories
- Relative categories: another model for the homotopy theory of homotopy theories
- Model structures on the category of small double categories
- On exact \(\infty\)-categories and the theorem of the heart
- Discreteness and completeness for \(\Theta_n\)-models of \((\infty, n)\)-categories
- Dualizing cartesian and cocartesian fibrations
- Infinity category theory from scratch
- Axiomatizing iteration categories
- Homotopy (pre)derivators of cofibration categories and quasicategories
- Comparison of models for (∞,n)‐categories, II
- 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
- On the Grothendieck construction for \(\infty\)-categories
- Two-variable fibrations, factorisation systems and -categories of spans
- Quasicategories of frames of cofibration categories
- A Cartesian presentation of weak \(n\)-categories
- \(K\)-theory for 2-categories
- An enrichment theorem for an axiomatisation of categories of domains and continuous functions
- Comparison of models for ( , n)-categories. I
- A Survey of (∞, 1)-Categories
- A model for the higher category of higher categories
- Cartesian fibrations of complete Segal spaces
- Chern characters, equivariant traces and derived algebraic geometry
- Multifunctorial \(K\)-theory is an equivalence of homotopy theories
- 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
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)
