Fibrations and Yoneda's lemma in an \(\infty\)-cosmos (Q338225): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
The intention for \((\infty,1)\)-categories is that they should be weak infinite-dimensional categories with all \(n\)-morphisms invertible for \(n>1\). There are a number of concrete models of \((\infty,1)\)-categories, one such being weak Kan complexes (also called quasi-categories). A lot of category theory is by now adapted to \((\infty,1)\)-categories by André Joyal and by Jacob Lurie, working with specific models. Töen and, separately Barwick and Schommer-Pries, have shown that all models of \((\infty,1)\)-categories have the same homotopy theory in a specific sense. The present paper makes significant progress in showing that the category theory of \((\infty,1)\)-categories is model invariant. An environment for developing modifications of ordinary category theory is provided by a 2-category with the structure of a ``cosmos'' in the reviewer's terminology. Indeed, Joyal has shown that some aspects of \((\infty,1)\)-categories can be understood at a first level using an ordinary 2-category of \((\infty,1)\)-categories, called the homotopy 2-category. To obtain the higher level information, a richer structure than ordinary 2-category is needed, from which the homotopy 2-category can be derived. The authors' answer is an \(\infty\)-cosmos: this is a category enriched in simplicial sets with two classes of distinguished morphisms called weak equivalences and isofibrations. The axioms are much like those for a category of fibrant objects. Each of complete Segal spaces, Segal categories, and marked simplicial sets has its own \(\infty\)-cosmos. The basic theory of adjunctions, limits and colimits, and monadicity, are shown to apply in the homotopy 2-category of any \(\infty\)-cosmos. The axioms imply that the 2-categorical notion of equivalence, interpreted in the homotopy 2-category, precisely coincides with the model categorical notion of weak equivalence: so the theory is weak equivalence invariant. An \(\infty\)-cosmos is not meant to axiomatize the collection of \((\infty,1)\)-categories. Slices of an \(\infty\)-cosmos again form an \(\infty\)-cosmos. Some models of \((\infty,n)\)-categories also form an \(\infty\)-cosmos; so the present paper also begins the basic category theory of \((\infty,n)\)-categories. Indeed, moving forgetfully from \((\infty,n)\)-categories to \((\infty,1)\)-categories gives a nice example of the authors' notion of ``functor'' between \(\infty\)-cosmoi. These functors always induce a bicategorical equivalence on the homotopy 2-categories thereby confirming the model invariance of the \(\infty\)-cosmos framework. | |||
Property / review text: The intention for \((\infty,1)\)-categories is that they should be weak infinite-dimensional categories with all \(n\)-morphisms invertible for \(n>1\). There are a number of concrete models of \((\infty,1)\)-categories, one such being weak Kan complexes (also called quasi-categories). A lot of category theory is by now adapted to \((\infty,1)\)-categories by André Joyal and by Jacob Lurie, working with specific models. Töen and, separately Barwick and Schommer-Pries, have shown that all models of \((\infty,1)\)-categories have the same homotopy theory in a specific sense. The present paper makes significant progress in showing that the category theory of \((\infty,1)\)-categories is model invariant. An environment for developing modifications of ordinary category theory is provided by a 2-category with the structure of a ``cosmos'' in the reviewer's terminology. Indeed, Joyal has shown that some aspects of \((\infty,1)\)-categories can be understood at a first level using an ordinary 2-category of \((\infty,1)\)-categories, called the homotopy 2-category. To obtain the higher level information, a richer structure than ordinary 2-category is needed, from which the homotopy 2-category can be derived. The authors' answer is an \(\infty\)-cosmos: this is a category enriched in simplicial sets with two classes of distinguished morphisms called weak equivalences and isofibrations. The axioms are much like those for a category of fibrant objects. Each of complete Segal spaces, Segal categories, and marked simplicial sets has its own \(\infty\)-cosmos. The basic theory of adjunctions, limits and colimits, and monadicity, are shown to apply in the homotopy 2-category of any \(\infty\)-cosmos. The axioms imply that the 2-categorical notion of equivalence, interpreted in the homotopy 2-category, precisely coincides with the model categorical notion of weak equivalence: so the theory is weak equivalence invariant. An \(\infty\)-cosmos is not meant to axiomatize the collection of \((\infty,1)\)-categories. Slices of an \(\infty\)-cosmos again form an \(\infty\)-cosmos. Some models of \((\infty,n)\)-categories also form an \(\infty\)-cosmos; so the present paper also begins the basic category theory of \((\infty,n)\)-categories. Indeed, moving forgetfully from \((\infty,n)\)-categories to \((\infty,1)\)-categories gives a nice example of the authors' notion of ``functor'' between \(\infty\)-cosmoi. These functors always induce a bicategorical equivalence on the homotopy 2-categories thereby confirming the model invariance of the \(\infty\)-cosmos framework. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Ross H. Street / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6647818 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cosmos | |||
Property / zbMATH Keywords: cosmos / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
infinity category | |||
Property / zbMATH Keywords: infinity category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
2-category | |||
Property / zbMATH Keywords: 2-category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weak Kan complex | |||
Property / zbMATH Keywords: weak Kan complex / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
simplicial set | |||
Property / zbMATH Keywords: simplicial set / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
adjunction | |||
Property / zbMATH Keywords: adjunction / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
homotopy | |||
Property / zbMATH Keywords: homotopy / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fibration | |||
Property / zbMATH Keywords: fibration / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weak equivalence | |||
Property / zbMATH Keywords: weak equivalence / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2492633899 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q124990040 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1506.05500 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Towards an axiomatization of the theory of higher categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The 2-category theory of quasi-categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy coherent adjunctions and the formal theory of monads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4088971 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher Topos Theory (AM-170) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4092156 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3160254 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-categories and Kan complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weak complicial sets. I: Basic homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstract homotopy theory and generalized sheaf cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categorical Homotopy Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5431520 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A model for the homotopy theory of homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Replacing model categories with simplicial ones / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheafifiable homotopy model categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mapping spaces in quasi-categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The theory and practice of Reedy categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4790109 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Cartesian presentation of weak \(n\)-categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639839 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3876103 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3759013 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 21:45, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fibrations and Yoneda's lemma in an \(\infty\)-cosmos |
scientific article |
Statements
Fibrations and Yoneda's lemma in an \(\infty\)-cosmos (English)
0 references
4 November 2016
0 references
The intention for \((\infty,1)\)-categories is that they should be weak infinite-dimensional categories with all \(n\)-morphisms invertible for \(n>1\). There are a number of concrete models of \((\infty,1)\)-categories, one such being weak Kan complexes (also called quasi-categories). A lot of category theory is by now adapted to \((\infty,1)\)-categories by André Joyal and by Jacob Lurie, working with specific models. Töen and, separately Barwick and Schommer-Pries, have shown that all models of \((\infty,1)\)-categories have the same homotopy theory in a specific sense. The present paper makes significant progress in showing that the category theory of \((\infty,1)\)-categories is model invariant. An environment for developing modifications of ordinary category theory is provided by a 2-category with the structure of a ``cosmos'' in the reviewer's terminology. Indeed, Joyal has shown that some aspects of \((\infty,1)\)-categories can be understood at a first level using an ordinary 2-category of \((\infty,1)\)-categories, called the homotopy 2-category. To obtain the higher level information, a richer structure than ordinary 2-category is needed, from which the homotopy 2-category can be derived. The authors' answer is an \(\infty\)-cosmos: this is a category enriched in simplicial sets with two classes of distinguished morphisms called weak equivalences and isofibrations. The axioms are much like those for a category of fibrant objects. Each of complete Segal spaces, Segal categories, and marked simplicial sets has its own \(\infty\)-cosmos. The basic theory of adjunctions, limits and colimits, and monadicity, are shown to apply in the homotopy 2-category of any \(\infty\)-cosmos. The axioms imply that the 2-categorical notion of equivalence, interpreted in the homotopy 2-category, precisely coincides with the model categorical notion of weak equivalence: so the theory is weak equivalence invariant. An \(\infty\)-cosmos is not meant to axiomatize the collection of \((\infty,1)\)-categories. Slices of an \(\infty\)-cosmos again form an \(\infty\)-cosmos. Some models of \((\infty,n)\)-categories also form an \(\infty\)-cosmos; so the present paper also begins the basic category theory of \((\infty,n)\)-categories. Indeed, moving forgetfully from \((\infty,n)\)-categories to \((\infty,1)\)-categories gives a nice example of the authors' notion of ``functor'' between \(\infty\)-cosmoi. These functors always induce a bicategorical equivalence on the homotopy 2-categories thereby confirming the model invariance of the \(\infty\)-cosmos framework.
0 references
cosmos
0 references
infinity category
0 references
2-category
0 references
weak Kan complex
0 references
simplicial set
0 references
adjunction
0 references
homotopy
0 references
fibration
0 references
weak equivalence
0 references
0 references