2 problems

The bEM conjecture. The category $\operatorname{bEM}(\mathcal K)$ is the Eilenberg–Moore category for bimonads, with the displayed embedding 2-functor.

Let ${\rm Bimnd}({\mathcal K})$ be the 2-category of bimonads in a 2-category ${\mathcal K}$, and let ${\rm bEM}({\mathcal K})$ be the 2-category whose 2-cells consist of pairs of…