Current browse context:
math.CT
Change to browse by:
References & Citations
Mathematics > Category Theory
Title: On lax transformations, adjunctions, and monads in $(\infty,2)$-categories
(Submitted on 3 Feb 2020 (v1), last revised 27 Feb 2021 (this version, v2))
Abstract: 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.
Submission history
From: Rune Haugseng [view email][v1] Mon, 3 Feb 2020 22:30:17 GMT (38kb)
[v2] Sat, 27 Feb 2021 19:02:57 GMT (40kb)
Link back to: arXiv, form interface, contact.