๐ฎ
๐ฎ
The Ethereal
The 2-Adjunction that relates Universal Arrows and Extensive Monads
February 25, 2025 ยท The Ethereal ยท ๐ arXiv.org
"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 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
๐ฎ
๐ฎ
The Ethereal
Open Diagrams via Coend Calculus
๐ฎ
๐ฎ
The Ethereal
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
๐ฎ
๐ฎ
The Ethereal
Compositional Scientific Computing with Catlab and SemanticModels
๐ฎ
๐ฎ
The Ethereal