8
$\begingroup$

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?

$\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$ Jun 9, 2021 at 15:52

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.