Skip to main content
2 of 5
deleted 8 characters in body
Ilk
  • 1.3k
  • 7
  • 9

Recognition theorem for bicategory of monads of some bicategory

I have a bicategory 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 as being of form $_L^L[Y,X]$ for some $X$?

Ilk
  • 1.3k
  • 7
  • 9