2025/02/25 by Adrián Vázquez-Márquez, Vazquez-Marquez, Adrian, Jenylin Zuniga-Apipilhuasco +1
Computer Science · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Information Theory (cs.IT)
paper · pdf · doi:10.48550/arxiv.2502.17854
openalex publication_date 2025/02/25 · openalex created_date 2025/10/15 · openalex updated_date 2026/07/28
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.