Eilenberg-Moore Bicategories for Opmonoidal Pseudomonads
Category Theory
2024-02-20 v1
Abstract
We analyse compatibility between monads and monoidal structures in the two-dimensional setting. We describe sufficient conditions for monoidal structures to lift to the Eilenberg-Moore pseudoalgebras. We then extend these results to braids, syllapses and symmetries. To achieve these results we define the Gray-tensor product of pseudomonads, and examine its interaction with the Eilenberg-Moore construction.
Cite
@article{arxiv.2402.11703,
title = {Eilenberg-Moore Bicategories for Opmonoidal Pseudomonads},
author = {Adrian Miranda},
journal= {arXiv preprint arXiv:2402.11703},
year = {2024}
}
Comments
56 pages