Towards an axiomatization of the theory of higher categories
What is an \(n\)-category? There are many definitions and it is yet fundamental to compare them. The point of view of model categories permits to consider clearly this question. Following a program proposed by \textit{P. May}, the present paper works towards an axiomatic characterization, up to Quillen equivalence, of ``the category of \(n\)-categories. Here the theory of \((1,\infty)\)-categories is defined (i.e., \(\infty\)-categories such that \(i\)-morphisms are invertibles for \(i> 1\)). As an example of such a structure, one has the complete Segal spaces model category \({\mathcal {CSS}}\). The main result says that an \((1,\infty)\)-category theory is equivalent to \({\mathcal {CSS}}\).
- 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
- Model structures on the category of small double categories
- How to glue derived categories
- Homotopy (pre)derivators of cofibration categories and quasicategories
- \(K\)-theory for 2-categories
- A stratified homotopy hypothesis
- The homotopy theory of type theories
- A note on the \((\infty,n)\)-category of cobordisms
- On the Grothendieck construction for \(\infty\)-categories
- Quasicategories of frames of cofibration categories
- Quasi-categories vs. Segal spaces: Cartesian edition
- Spectral sequences in \((\infty,1)\)-categories
- Hermitian K-theory for stable \(\infty\)-categories. I: Foundations
- Univalence and completeness of Segal objects
- Recognizing quasi-categorical limits and colimits in homotopy coherent nerves
- Differential graded versus simplicial categories
- Chern characters, equivariant traces and derived algebraic geometry
- Multifunctorial \(K\)-theory is an equivalence of homotopy theories
- Axiomatizing iteration categories
- On the algebraic K-theory of higher categories
- Models for (\infty, n)-categories and the cobordism hypothesis
- A whirlwind tour of the world of (,1)-categories
- A proof of the associated sheaf theorem by means of categorical logic
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- A Survey of (∞, 1)-Categories
- AXIOM I0 AND HIGHER DEGREE THEORY
- On exact -categories and the theorem of the heart
- Comparison of models for ( , n)-categories. I
- An enrichment theorem for an axiomatisation of categories of domains and continuous functions
- scientific article; zbMATH DE number 1136106 (Why is no real title available?)
- Dualizing cartesian and cocartesian fibrations
- Homotopy equivalent algebraic structures in multicategories and permutative categories
- Comparison of models for (∞,n)‐categories, II
- On the unicity of the theory of higher categories
- Infinity category theory from scratch
- THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE
- A Thomason model structure on the category of small \(n\)-fold categories
- An elementary proof of the naturality of the Yoneda embedding
- Discreteness and completeness for \(\Theta_n\)-models of \((\infty, n)\)-categories
- Two-variable fibrations, factorisation systems and -categories of spans
- Lax monoidal adjunctions, two‐variable fibrations and the calculus of mates
- A model for the higher category of higher categories
- Cartesian fibrations of complete Segal spaces
- Relative categories: another model for the homotopy theory of homotopy theories
- A new model of dg-categories
- How to enhance categories, and why?
- (, 1)-categorical comprehension schemes
- Revisiting (,2)-naturality of the Yoneda embedding
- The surface category and tropical curves
- Topological \(\Delta \mathbf{G}\)-homology of rings with twisted \(G\)-action
- On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads
- A Cartesian presentation of weak \(n\)-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)
