On lax transformations, adjunctions, and monads in (,2)-categories
From MaRDI portal
Publication:5037510
Abstract: We use the basic expected properties of the Gray tensor product of -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 -categories as simplicial -categories. Using this characterization we identify the -category of monads on a fixed object and colax morphisms between them with the -category of associative algebras in endomorphisms.
Recommendations
Cites work
- scientific article; zbMATH DE number 3950781 (Why is no real title available?)
- scientific article; zbMATH DE number 3522182 (Why is no real title available?)
- scientific article; zbMATH DE number 3397722 (Why is no real title available?)
- (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories
- A Cartesian presentation of weak \(n\)-categories
- A model for the homotopy theory of homotopy theory
- A study in derived algebraic geometry. Volume II: Deformations, Lie theory and formal geometry
- Comparison of models for (∞,n)‐categories, II
- Elements of \(\infty\)-category theory
- Enriched -categories via non-symmetric -operads
- Flagged higher categories
- Formal category theory: Adjointness for 2-categories
- Gray tensor products and lax functors of \((\infty, 2)\)-categories
- Higher Topos Theory (AM-170)
- Homotopy coherent adjunctions and the formal theory of monads
- Icons
- On the Classification of Topological Field Theories
- On the equivalence between \(\Theta _{n}\)-spaces and iterated Segal spaces
- On the unicity of the theory of higher categories
- Rectification of enriched \(\infty\)-categories
- Spectral Mackey functors and equivariant algebraic \(K\)-theory. I.
- The Gray tensor product for 2-quasi-categories
- The formal theory of monads
- The higher Morita category of \(\mathbb{E}_n\)-algebras
Cited in
(17)- Lax orthogonal factorisations in monad-quantale-enriched categories
- scientific article; zbMATH DE number 7692250 (Why is no real title available?)
- A perfect pairing for monoidal adjunctions
- scientific article; zbMATH DE number 2125656 (Why is no real title available?)
- Descent for monads
- scientific article; zbMATH DE number 465545 (Why is no real title available?)
- On distributivity in higher algebra I: the universal property of bispans
- Gray tensor products and lax functors of \((\infty, 2)\)-categories
- Colimits and cocompletions in internal higher category theory
- Lax monoidal adjunctions, two‐variable fibrations and the calculus of mates
- scientific article; zbMATH DE number 2165890 (Why is no real title available?)
- 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)
