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

zbMATH Open1483.18004arXiv2002.01037MaRDI QIDQ5037510FDOQ5037510

Authors: Rune Haugseng 

Publication date: 1 March 2022

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.

Full work available at URL: https://arxiv.org/abs/2002.01037

Recommendations

• Limits for lax morphisms
• Formal aspects of Gray's tensor products of 2-categories
• Gray tensor products and lax functors of \((\infty, 2)\)-categories
• Two-dimensional monadicity
• Coherent Extensions and Relational Algebras

zbMATH Keywords

adjunctionsmonadslax transformations\((\infty,2)\)-categories

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) ((infty, n))-categories and ((infty,infty))-categories (18N65) (infty)-operads and higher algebra (18N70)

Cites Work

• On the Classification of Topological Field Theories
• Higher Topos Theory (AM-170)
• Spectral Mackey functors and equivariant algebraic \(K\)-theory. I.
• The formal theory of monads
• Icons
• Title not available (Why is that?)
• Enriched \(\infty\)-categories via non-symmetric \(\infty\)-operads
• A model for the homotopy theory of homotopy theory
• Homotopy coherent adjunctions and the formal theory of monads
• A Cartesian presentation of weak \(n\)-categories
• A study in derived algebraic geometry. Volume II: Deformations, Lie theory and formal geometry
• Formal category theory: Adjointness for 2-categories
• The Gray tensor product for 2-quasi-categories
• Gray tensor products and lax functors of \((\infty, 2)\)-categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• The higher Morita category of \(\mathbb{E}_n\)-algebras
• Elements of \(\infty\)-category theory
• Rectification of enriched \(\infty\)-categories
• (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories
• On the unicity of the theory of higher categories
• On the equivalence between \(\Theta _{n}\)-spaces and iterated Segal spaces
• Comparison of models for (∞,n)‐categories, II
• Flagged higher categories

Cited In (17)

• Lax orthogonal factorisations in monad-quantale-enriched categories
• Title not available (Why is that?)
• A perfect pairing for monoidal adjunctions
• Title not available (Why is that?)
• Descent for monads
• On distributivity in higher algebra I: the universal property of bispans
• Title not available (Why is that?)
• Colimits and cocompletions in internal higher category theory
• Gray tensor products and lax functors of \((\infty, 2)\)-categories
• Lax monoidal adjunctions, two‐variable fibrations and the calculus of mates
• Title not available (Why is that?)
• Uniqueness of monoidal adjunctions
• Lax algebras via initial monad morphisms: APP, TOP, MET and ORD
• Naturality of the \(\infty\)-categorical enriched Yoneda embedding
• Two-variable fibrations, factorisation systems and -categories of spans
• The monadic tower for \(\infty\)-categories
• An explicit comparison between 2-complicial sets and \(\Theta_2\)-spaces

This page was built for publication: On lax transformations, adjunctions, and monads in \((\infty,2)\)-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5037510)