Skip to main content
typo
Source Link
Ilk
  • 1.3k
  • 7
  • 9

$\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$?

A lower categorical version suggested by this as a first step is; given categories $X$ and $C$ can we recognize $X$ as a functor category of functors $[C,D]$ for some $D$?

$\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$?

A lower categorical version suggested by this as a first step is; given categories $X$ and $C$ can we recognize $X$ as a category of functors $[C,D]$ for some $D$?

$\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$?

A lower categorical version suggested by this as a first step is; given categories $X$ and $C$ can we recognize $X$ as a functor category $[C,D]$ for some $D$?

added 170 characters in body; edited title
Source Link
Ilk
  • 1.3k
  • 7
  • 9

Recognition theorem for bicategorya functor (bi)category or category 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$?

A lower categorical version suggested by this as a first step is; given categories $X$ and $C$ can we recognize $X$ as a category of functors $[C,D]$ for some $D$?

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$?

Recognition theorem for a functor (bi)category or category of monads?

$\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$?

A lower categorical version suggested by this as a first step is; given categories $X$ and $C$ can we recognize $X$ as a category of functors $[C,D]$ for some $D$?

formatting, added tag
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

I$\DeclareMathOperator\Mnd{Mnd}$I have a bicategory and want to recognize if it's equivalent to $Mnd(X)$$\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)$$\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$?

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$?

$\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$?

deleted 8 characters in body
Source Link
Ilk
  • 1.3k
  • 7
  • 9
Loading
Source Link
Ilk
  • 1.3k
  • 7
  • 9
Loading