For a while, I was looking for a Frobenius monad on Set. It doesn't exist as pointed out here. I am now looking at the 2-category of groupoids. Does the 2-category of groupoids admit a Frobenius monad? Does it have a polynomial form?
$\begingroup$
$\endgroup$
1
-
$\begingroup$ It seems to be the exact same argument that Todd Trimble give in the question you linked will apply to groupoid. At least if you interpret the notion in a 2-categorical sense, though I suspect thing wouldn't be mych different if you interpret things in a stricter sense. $\endgroup$– Simon HenryCommented Jun 9, 2021 at 15:52
Add a comment
|