Lax monoidal adjunctions, two‐variable fibrations and the calculus of mates

DOI10.1112/PLMS.12548zbMATH Open1528.18022arXiv2011.08808OpenAlexW4281690824MaRDI QIDQ6185885FDOQ6185885

Authors: Rune Haugseng, Fabian Hebestreit, Joost Nuiten 

Publication date: 9 January 2024

Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)

Abstract: We provide a calculus of mates for functors to the $infty$-category of $infty$-categories and extend Lurie's unstraightening equivalences to show that (op)lax natural transformations correspond to maps of (co)cartesian fibrations that do not necessarily preserve (co)cartesian edges. As a sample application we obtain an equivalence between lax symmetric monoidal structures on right adjoint functors and oplax symmetric monoidal structures on the left adjoint functors between symmetric monoidal $infty$-categories that is compatible with both horizontal and vertical composition of such structures. As the technical heart of the paper we study various new types of fibrations over a product of two $infty$-categories. In particular, we show how they can be dualised over one of the two factors and how they encode functors out of the Gray tensor product of $(infty,2)$-categories.

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

Recommendations

• On lax transformations, adjunctions, and monads in \((\infty,2)\)-categories
• A perfect pairing for monoidal adjunctions
• Uniqueness of monoidal adjunctions
• Lax colimits and free fibrations in \(\infty\)-categories
• Gray tensor products and lax functors of \((\infty, 2)\)-categories

Mathematics Subject Classification ID

((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) ((infty, n))-categories and ((infty,infty))-categories (18N65) (infty)-operads and higher algebra (18N70)

Cites Work

• Dwyer-Kan localization revisited
• Higher Topos Theory (AM-170)
• Rectification of algebras and modules
• Simplicial methods for operads and algebraic geometry. Edited by Carles Casacuberta and Joachim Kock
• Towards an axiomatization of the theory of higher categories
• Fibrations of \(\infty \)-categories
• Formal category theory: Adjointness for 2-categories
• Gray tensor products and lax functors of \((\infty, 2)\)-categories
• Lax colimits and free fibrations in \(\infty\)-categories
• Elements of \(\infty\)-category theory
• (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories
• On the unicity of the theory of higher categories
• On lax transformations, adjunctions, and monads in \((\infty,2)\)-categories
• On quasi-categories of comodules and Landweber exactness
• Dualizing cartesian and cocartesian fibrations
• A study in derived algebraic geometry. Volume I: Correspondences and duality
• On topological cyclic homology
• Shifted coisotropic correspondences
• Hermitian K-theory for stable \(\infty\)-categories. I: Foundations
• On the equivalence of all models for (∞,2)$(\infty,2)$‐categories
• \(\infty\)-operads via symmetric sequences

Cited In (3)

• Stratified noncommutative geometry
• Uniqueness of monoidal adjunctions
• Two-variable fibrations, factorisation systems and -categories of spans

This page was built for publication: Lax monoidal adjunctions, two‐variable fibrations and the calculus of mates

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