1 problem

0 votes0 replies0 views
The bEM conjecture for the Eilenberg–Moore category of bimonads
The bEM conjecture. The category $\operatorname{bEM}(\mathcal K)$ is the Eilenberg–Moore category for bimonads, with the displayed embedding 2-functor.
Conjectureopen2-categories bimonads eilenberg-moore-categoriesarXiv posted 2 days ago

The bEM conjecture for the Eilenberg–Moore category of bimonads