| Title:
|
Cartesian Fibrations of Complete Segal Spaces (English) |
| Author:
|
Rasekh, Nima |
| Language:
|
English |
| Journal:
|
Higher Structures |
| ISSN:
|
2209-0606 |
| Volume:
|
7 |
| Issue:
|
1 |
| Year:
|
2023 |
| Pages:
|
40-73 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
Cartesian fibrations were originally defined by Lurie in the context of quasi-categories and are commonly used in $(\infty,1)$-category theory to study presheaves valued in $(\infty,1)$-categories. In this work we define and study fibrations modeling presheaves valued in simplicial spaces and their localizations. This includes defining a model structure for these fibrations and giving effective tools to recognize its fibrations and weak equivalences. This in particular gives us a new method to construct Cartesian fibrations via complete Segal spaces. In addition to that, it allows us to define and study fibrations modeling presheaves of Segal spaces. (English) |
| Keyword:
|
Higher category |
| Keyword:
|
complete Segal spaces |
| Keyword:
|
Cartesian fibrations |
| Keyword:
|
Grothendieck construction |
| MSC:
|
18F20 |
| MSC:
|
18N40 |
| MSC:
|
18N50 |
| MSC:
|
18N55 |
| MSC:
|
18N60 |
| idZBL:
|
Zbl 1536.18017 |
| idMR:
|
MR4600457 |
| DOI:
|
10.21136/HS.2023.03 |
| . |
| Date available:
|
2026-03-13T10:08:14Z |
| Last updated:
|
2026-03-13 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153458 |
| . |
| Reference:
|
[1] Adams, J. F.: Stable homotopy and generalised homology..Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL. Reprint of the 1974 original |
| Reference:
|
[2] Ara, Dimitri: Higher quasi-categories vs higher Rezk spaces..J. K-Theory, 14(3):701–749 MR 3350089 |
| Reference:
|
[3] Ayala, David, Francis, John: Fibrations of ∞-categories..High. Struct., 4(1):168–265 MR 4074276 |
| Reference:
|
[4] Barwick, Clark: (infinity, n)-Cat as a closed model category..ProQuest LLC, Ann Arbor, MI. Thesis (Ph.D.)–University of Pennsylvania |
| Reference:
|
[5] Bergner, Julia E.: Three models for the homotopy theory of homotopy theories..Topology, 46(4):397–436 MR 2321038 |
| Reference:
|
[6] Bergner, Julia E.: A survey of (∞,1)-categories..In Towards higher categories, volume 152 of IMA Vol. Math. Appl., pages 69–83. Springer, New York MR 2664620 |
| Reference:
|
[7] Bergner, Julia E., Rezk, Charles: Comparison of models for (∞,n)-categories, I..Geom. Topol., 17(4):2163–2202 MR 3109865 |
| Reference:
|
[8] Bergner, Julia E., Rezk, Charles: Comparison of models for (∞,n)-categories, II..J. Topol., 13(4):1554–1581 MR 4186138 |
| Reference:
|
[9] Brito, Pedro Boavida de: Segal objects and the Grothendieck construction..In An alpine bouquet of algebraic topology, volume 708 of Contemp. Math., pages 19–44. Amer. Math. Soc., Providence, RI MR 3807750 |
| Reference:
|
[10] Bousfield, A. K., Kan, D. M.: Homotopy limits, completions and localizations..Lecture Notes in Mathematics, Vol. 304. Springer-Verlag, Berlin-New York |
| Reference:
|
[11] Calaque, Damien, Scheimbauer, Claudia: A note on the (∞,n)-category of cobordisms..Algebr. Geom. Topol., 19(2):533–655 MR 3924174 |
| Reference:
|
[12] Cisinski, Denis-Charles: Higher categories and homotopical algebra, volume 180 of Cambridge Studies in Advanced Mathematics..Cambridge University Press, Cambridge MR 3931682 |
| Reference:
|
[13] Elmendorf, A. D., Křı́ž, I., Mandell, M. A., May, J. P.: Modern foundations for stable homotopy theory..In Handbook of algebraic topology, pages 213–253. North-Holland, Amsterdam |
| Reference:
|
[14] Gagna, Andrea, Harpaz, Yonatan, Lanari, Edoardo: Fibrations and lax limits of (∞,2)-categories..Available as arxiv:2012.04537v1 http://arxiv.org/pdf/2012.04537v1 |
| Reference:
|
[15] Gaitsgory, Dennis, Rozenblyum, Nick: A study in derived algebraic geometry. Vol. I. Correspondences and duality, volume 221 of Mathematical Surveys and Monographs..American Mathematical Society, Providence, RI MR 3701352 |
| Reference:
|
[16] Gaitsgory, Dennis, Rozenblyum, Nick: A study in derived algebraic geometry. Vol. II. Deformations, Lie theory and formal geometry, volume 221 of Mathematical Surveys and Monographs..American Mathematical Society, Providence, RI MR 3701353 |
| Reference:
|
[17] Gepner, David, Groth, Moritz, Nikolaus, Thomas: Universality of multiplicative infinite loop space machines..Algebr. Geom. Topol., 15(6):3107–3153 MR 3450758 |
| Reference:
|
[18] Heuts, Gijs, Moerdijk, Ieke: Left fibrations and homotopy colimits..Math. Z., 279(3-4):723–744 MR 3318247 |
| Reference:
|
[19] Heuts, Gijs, Moerdijk, Ieke: Left fibrations and homotopy colimits II..Available as arxiv:1602.01274v1 http://arxiv.org/pdf/1602.01274v1 MR 3318247 |
| Reference:
|
[20] Hirschhorn, Philip S.: Model categories and their localizations, volume 99 of Mathematical Surveys and Monographs..American Mathematical Society, Providence, RI MR 1944041 |
| Reference:
|
[21] Hovey, Mark: Model categories.Volume 63 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI |
| Reference:
|
[22] Joyal, André: Notes on quasi-categories..preprint. Unpublished notes (accessed 08.02.2021) |
| Reference:
|
[23] Joyal, André: The theory of quasi-categories and its applications..Unpublished notes (accessed 08.02.2021) |
| Reference:
|
[24] Joyal, André, Tierney, Myles: Quasi-categories vs Segal spaces..In Categories in algebra, geometry and mathematical physics, volume 431 of Contemp. Math., pages 277–326. Amer. Math. Soc., Providence, RI MR 2342834 |
| Reference:
|
[25] Kazhdan, D., Varshavskiı̆, Ya.: The Yoneda lemma for complete Segal spaces..Funktsional. Anal. i Prilozhen., 48(2):3–38 MR 3288174 |
| Reference:
|
[26] Lurie, Jacob: Higher topos theory, volume 170 of Annals of Mathematics Studies..Princeton University Press, Princeton, NJ MR 2522659 |
| Reference:
|
[27] Lurie, Jacob: (infinity, 2)-categories and the goodwillie calculus I..Available as arxiv:0905.0462v2 http://arxiv.org/pdf/0905.0462v2 |
| Reference:
|
[28] Lurie, Jacob: On the classification of topological field theories..In Current developments in mathematics, 2008, pages 129–280. Int. Press, Somerville, MA MR 2555928 |
| Reference:
|
[29] Lurie, Jacob: Spectral algebraic geometry..Unpublished notes (accessed 08.02.2021), February 2018 |
| Reference:
|
[30] Mazel-Gee, Aaron: A user’s guide to co/cartesian fibrations..Grad. J. Math., 4(1):42–53 MR 3999274 |
| Reference:
|
[31] Nguyen, Hoang Kim: Covariant & contravariant homotopy theories..Available as arxiv:1908.06879v1 http://arxiv.org/pdf/1908.06879v1 |
| Reference:
|
[32] Nikolaus, Thomas, Schreiber, Urs, Stevenson, Danny: Principal ∞-bundles: general theory..J. Homotopy Relat. Struct., 10(4):749–801 MR 3423073 |
| Reference:
|
[33] Nikolaus, Thomas, Schreiber, Urs, Stevenson, Danny: Principal ∞-bundles: presentations..J. Homotopy Relat. Struct., 10(3):565–622 MR 3385700 |
| Reference:
|
[34] Nuiten, Joost: On straightening for Segal spaces..Available as arxiv:2108.11431 http://arxiv.org/pdf/2108.11431 MR 4709869 |
| Reference:
|
[35] Rasekh, Nima: Yoneda lemma for simplicial spaces..Available as arxiv:1711.03160v3 http://arxiv.org/pdf/1711.03160v3 MR 4616631 |
| Reference:
|
[36] Rasekh, Nima: Quasi-categories vs. Segal spaces: Cartesian edition..J. Homotopy Relat. Struct MR 4343074 |
| Reference:
|
[37] Rasekh, Nima: Univalence in higher category theory..Available as arxiv:2103.12762 http://arxiv.org/pdf/2103.12762 |
| Reference:
|
[38] Rasekh, Nima: Yoneda lemma for 𝒟-simplicial spaces..Available as arxiv:2108.06168 http://arxiv.org/pdf/2108.06168 MR 4616631 |
| Reference:
|
[39] Rasekh, Nima: Cartesian fibrations and representability..Homology, Homotopy and Applications, 24(2):135–161 MR 4467022 |
| Reference:
|
[40] Reedy, Christopher Leonard: Homology of Algebraic Theories..ProQuest LLC, Ann Arbor, MI. Thesis (Ph.D.)–University of California, San Diego |
| Reference:
|
[41] Rezk, Charles: A model for the homotopy theory of homotopy theory..Trans. Amer. Math. Soc., 353(3):973–1007 MR 1804411 |
| Reference:
|
[42] Rezk, Charles: A Cartesian presentation of weak n-categories..Geom. Topol., 14(1):521–571 MR 2578310 |
| Reference:
|
[43] Riehl, Emily, Shulman, Michael: A type theory for synthetic ∞-categories..High. Struct., 1(1):147–224 MR 3912054 |
| Reference:
|
[44] Riehl, Emily, Verity, Dominic: Fibrations and Yoneda’s lemma in an ∞-cosmos..J. Pure Appl. Algebra, 221(3):499–564 MR 3556697 |
| Reference:
|
[45] Riehl, Emily, Verity, Dominic: Cartesian exponentiation and monadicity..Available as arxiv:2101.09853 http://arxiv.org/pdf/2101.09853 MR 4768929 |
| Reference:
|
[46] Riehl, Emily, Verity, Dominic: Elements of ∞-Category Theory..Cambridge Studies in Advanced Mathematics. Cambridge University Press MR 4354541 |
| Reference:
|
[47] Stenzel, Raffael: (∞,1)-categorical comprehension schemes..Available as arxiv:2010.09663v1 http://arxiv.org/pdf/2010.09663v1 MR 4882724 |
| Reference:
|
[48] Stevenson, Danny: Covariant model structures and simplicial localization..North-West. Eur. J. Math., 3:141–203 MR 3683375 |
| Reference:
|
[49] Toën, Bertrand: Vers une axiomatisation de la théorie des catégories upérieures..K-Theory, 34(3):233–263 MR 2182378 |
| Reference:
|
[50] Program, The Univalent Foundations: Homotopy Type Theory: Univalent Foundations of Mathematics..https://homotopytypetheory.org/book, Institute for Advanced Study MR 3204653 |
| Reference:
|
[51] Verity, D. R. B.: Weak complicial sets. I. Basic homotopy theory..Adv. Math., 219(4):1081–1149 MR 2450607 |
| . |
