Article
Full entry |
PDF
(0.8 MB)
Feedback
PDF
(0.8 MB)
Feedback
Keywords:
adjunctions; monads; lax transformations; $(\infty,2)$-categories
adjunctions; monads; lax transformations; $(\infty,2)$-categories
Summary:
We use the basic expected properties of the Gray tensor product of $(\infty,2)$-categories to study (co)lax natural transformations. Using results of Riehl--Verity and Zaganidis we identify lax transformations between adjunctions and monads with commutative squares of (monadic) right adjoints. We also identify the colax transformations whose components are equivalences (generalizing the “icons” of Lack) with the 2-morphisms that arise from viewing $(\infty,2)$-categories as simplicial $\infty$-categories. Using this characterization we identify the $\infty$-category of monads on a fixed object and colax morphisms between them with the $\infty$-category of associative algebras in endomorphisms.
References:
[1] Ayala, David, Francis, John: Flagged higher categories. In Topology and quantum theory in interaction, volume 718 of Contemp. Math., pages 137–173. Amer. Math. Soc., Providence, RI MR 3869643
[2] Barwick, Clark: (∞,n)-Cat as a closed model category. PhD thesis, University of Pennsylvania
[3] Barwick, Clark: Spectral Mackey functors and equivariant algebraic k-theory (I). Adv. Math., 304:646–727. Arxiv:1404.0108 http://arxiv.org/pdf/1404.0108 MR 3558219
[4] Barwick, Clark, Pries, Schommer-Christopher: On the unicity of the homotopy theory of higher categories. arxiv:1112.0040 http://arxiv.org/pdf/1112.0040 MR 4301559
[5] Bergner, Julia E., Rezk, Charles: Comparison of models for (∞,n)-categories, II. J. Topol., 13(4):1554–1581, 2020. Arxiv:1406.4182 http://arxiv.org/pdf/1406.4182 MR 4186138
[6] Campion, Tim, Kapulkin, Chris, Maehara, Yuki: A cubical model for (∞,n)-categories. arxiv:2005.07603 http://arxiv.org/pdf/2005.07603 MR 4918105
[7] Gagna, Andrea, Harpaz, Yonatan, Lanari, Edoardo: Gray tensor products and lax functors of (∞,2)-categories. arxiv:2006.14495 http://arxiv.org/pdf/2006.14495 MR 4305242
[8] 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. Available here MR 3701352
[9] Gepner, David, Haugseng, Rune: Enriched ∞-categories via non-symmetric ∞-operads. Adv. Math., 279:575–716, 2015. Arxiv:1312.3178 http://arxiv.org/pdf/1312.3178 MR 3345192
[10] Gepner, David, Haugseng, Rune, Kock, Joachim: ∞-operads as analytic monads. arxiv:1712.06469 http://arxiv.org/pdf/1712.06469 MR 4466007
[11] Gray, John W.: Formal category theory: adjointness for 2-categories. Lecture Notes in Mathematics, Vol. 391. Springer-Verlag, Berlin-New York
[12] Haugseng, Rune: Rectifying enriched ∞-categories. Algebr. Geom. Topol., 15:1931–1982, 2015. Arxiv:1312.3178 http://arxiv.org/pdf/1312.3178 MR 3402334
[13] Haugseng, Rune: The higher Morita category of E_(n)-algebras. Geom. Topol., 21:1631–1730, 2017. Arxiv:1412.8459 http://arxiv.org/pdf/1412.8459 MR 3650080
[14] Haugseng, Rune: On the equivalence between Θ_(n)-spaces and iterated segal paces. Proc. Amer. Math. Soc., 146(4):1401–1415, 2018. Arxiv:1604.08480 http://arxiv.org/pdf/1604.08480 MR 3754328
[15] Heine, Hadrian: About the equivalence between monads and monadic functors. arxiv:1712.00555 http://arxiv.org/pdf/1712.00555
[16] Freyd, Johnson-Theo, Scheimbauer, Claudia: (Op)lax natural transformations, twisted quantum field theories, and even higher morita categories. Adv. Math., 307:147–223, 2017. Arxiv:1502.06526 http://arxiv.org/pdf/1502.06526 MR 3590516
[17] Kelly, G. M.: Doctrinal adjunction. Lecture Notes in Math., 420:257–280
[18] Lack, Stephen: Icons. Appl. Categ. Struct., 18:289–307 MR 2640216
[19] Liu, Yifeng, Zheng, Weizhe: Enhanced six operations and base change theorem for Artin stacks. arxiv:1211.5948 http://arxiv.org/pdf/1211.5948
[20] Lurie, Jacob: Higher Topos Theory, volume 170 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ. Available here MR 2522659
[21] Lurie, Jacob: (∞,2)-categories and the Goodwillie calculus I. http://math.ias.edu/ lurie/papers/GoodwillieI.pdf
[22] Lurie, Jacob: Higher algebra. http://math.ias.edu/ lurie/
[23] Maehara, Yuki: The gray tensor product for 2-quasi-categories. Adv. Math., 377:107461, 78, 2021. Arxiv:2003.11757 http://arxiv.org/pdf/2003.11757 MR 4186004
[24] Ozornova, Viktoriya, Rovelli, Martina, Verity, Dominic: Gray tensor product and saturated n-complicial sets. arxiv:2007.01235 http://arxiv.org/pdf/2007.01235 MR 4600455
[25] Rezk, Charles: A model for the homotopy theory of homotopy theory. Trans. Amer. Math. Soc., 353(3):973–1007 (electronic) MR 1804411
[26] Rezk, Charles: A cartesian presentation of weak n-categories. Geom. Topol., 14(1):521–571. Arxiv:0901.3602v3 http://arxiv.org/pdf/0901.3602v3 MR 2578310
[27] Riehl, Emily, Verity, Dominic: Homotopy coherent adjunctions and the formal theory of monads. Adv. Math., 286:802–888, 2016. Arxiv:1310.8279 http://arxiv.org/pdf/1310.8279 MR 3415698
[28] Riehl, Emily, Verity, Dominic: Elements of ∞-category theory. http://www.math.jhu.edu/ eriehl/elements.pdf MR 4354541
[29] Schanuel, Stephen, Street, Ross: The free adjunction. Cahiers Topologie Géom. Différentielle Catég., 27(1):81–83
[30] Street, Ross: The formal theory of monads. J. Pure Appl. Algebra, 2:149–168
[31] Street, Ross: Two constructions on lax functors. Cahiers Topologie Géom. Différentielle, 13:217–264
[32] Zaganidis, Dimitri: Towards an (∞,2)-category of homotopy coherent monads in an ∞-cosmos. PhD thesis, École polytechnique fédérale de Lausanne
Search
Partner of
