Timeline for What is known about the category of monads on Set?
Current License: CC BY-SA 2.5
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 13, 2014 at 9:56 | comment | added | goblin GONE | Steve, do you know if any work has been done on actually founding mathematics on the category of (finitary?) monads on Set? (Rather than Set itself). I have asked Tom the same question. | |
| Feb 16, 2011 at 16:35 | comment | added | Harry Gindi | @Steve: Do there exist finitary monads that have the same algebras "up to a certain size" so we could realize the powerset or ultrafilter monad as an ind-monad or a pro-monad? | |
| Feb 15, 2011 at 21:07 | comment | added | Steve Lack | Harry: not that I know of. They have various interesting properties, but I don't know of a nice category containing them. | |
| Feb 15, 2011 at 18:00 | comment | added | Harry Gindi | Steve, do the ultrafilter and powerset monad live in any nice category of monads? | |
| Feb 15, 2011 at 15:03 | comment | added | David Spivak | Thanks Steve. Considering finitary monads is a great suggestion. | |
| Feb 14, 2011 at 5:53 | comment | added | Steve Lack | No, it doesn't. But I can see that from what I've written you could be excused for thinking it did. | |
| Feb 14, 2011 at 5:06 | comment | added | Mike Shulman | Surely the ultrafilter monad also does not have a rank? | |
| Feb 13, 2011 at 23:25 | history | answered | Steve Lack | CC BY-SA 2.5 |