Skip to main content
3 of 5
formatting, added tag
YCor
  • 63.9k
  • 5
  • 187
  • 286

Recognition theorem for bicategory of monads of some bicategory

$\DeclareMathOperator\Mnd{Mnd}$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