Skip to main content
1 of 5
Ilk
  • 1.3k
  • 7
  • 9

Recognition theorem for bicategory of monads of some bicategory

Imagine I have a bicategory B and want to recognize if it's equivalent to $Mnd(X)$ the bicategory of monads in some other bicategory X. Is there a theorem which does this abstractly?

A possible more abstract version of this would be as follows; consider the bicategory of lax functors+lax natural transformations+modifications $_L^L[C,D]$. $Mnd(X)$ is equivalent to the lax functor bicategory $_L^L[1,X]$. Given $Y$; can we abstractly recognize a bicategory $B$ as being of form $_L^L[Y,X]$ for some $X$?

Ilk
  • 1.3k
  • 7
  • 9