The 2-Adjunction that relates Universal Arrows and Extensive Monads
Category Theory
2025-02-26 v1 Information Theory
math.IT
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.
Keywords
Cite
@article{arxiv.2502.17854,
title = {The 2-Adjunction that relates Universal Arrows and Extensive Monads},
author = {Adrian Vazquez-Marquez and Jenylin Zuniga-Apipilhuasco},
journal= {arXiv preprint arXiv:2502.17854},
year = {2025}
}