The 2-Adjunction that relates Universal Arrows and Extensive Monads

February 25, 2025 ยท The Ethereal ยท ๐Ÿ› arXiv.org

๐Ÿ”ฎ THE ETHEREAL: The Ethereal
Pure theory โ€” exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Adrian Vazquez-Marquez, Jenylin Zuniga-Apipilhuasco arXiv ID 2502.17854 Category math.CT: Category Theory Cross-listed cs.IT Citations 0 Venue arXiv.org Last Checked 2 months ago
Abstract
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.
Community shame:
Not yet rated
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

๐Ÿ“œ Similar Papers

In the same crypt โ€” Category Theory

๐Ÿ”ฎ ๐Ÿ”ฎ The Ethereal

Algebraic Databases

Patrick Schultz, David I. Spivak, ... (+2 more)

math.CT ๐Ÿ› Theory and Applications of Categories ๐Ÿ“š 35 cites 10 years ago