On lax transformations, adjunctions, and monads in $(\infty ,2)$-categories

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.

arXiv comment33 pages, v2: Various minor improvements

References in corpus (7)

• Enriched $\infty$-categories via non-symmetric $\infty$-operads
• (Op)lax natural transformations, twisted quantum field theories, and "even higher" Morita categories
• On the Unicity of the Homotopy Theory of Higher Categories
• Enhanced six operations and base change theorem for higher Artin stacks
• $\infty$-Operads as Analytic Monads
• The Gray tensor product for 2-quasi-categories
• Gray tensor products and lax functors of $(\infty ,2)$-categories

Cited by in corpus (3)

• PD Operads and Explicit Partition Lie Algebras
• Higher sheaf theory I: Correspondences
• Presentable $(\infty ,n)$-categories