1 problem

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…