This construction reveals how universal arrows and extensive monads are interrelated, suggesting new frameworks for adjunctions.
In this article the 2-adjunction that relates universal arrows and extensive monads is constructed explicitly. This 2-adjunction resembles the one that relates adjunctions and monads since the 2-category of universal arrows is isomorphic to the 2-category of adjunctions and the 2-category of extensive monads is isomorphic to the 2-category of monads. This article would be useful as a foundation for a theory relating pseudo adjunctions and pseudo monads for Gray-categories. On the other hand, it might function as an accesible tool for computer scientists on extensive monads.
No takes yet. Share an insight, caveat, or question.
Vázquez-Márquez et al. (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: