Timeline for What are the special properties of adjunctions that generate polynomial monads
Current License: CC BY-SA 4.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Dec 17, 2021 at 21:54 | comment | added | varkor | Certainly if the left and right adjoints are polynomial, then the induced monad will be polynomial, and this would seem the natural condition to impose. One would hope that the Kleisli and Eilenberg–Moore adjunction for a polynomial monad to comprise polynomial functors, though I'm not sure whether or not this is true. | |
Jul 13, 2018 at 18:20 | history | asked | Ben Sprott | CC BY-SA 4.0 |