Timeline for What is the polynomial functor for the Bag monad
Current License: CC BY-SA 4.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 13, 2018 at 19:03 | comment | added | Mike Shulman | See also Example 4.1.5 on p103 of Leinster's Higher operads, higher categories | |
Jun 12, 2018 at 17:44 | vote | accept | Ben Sprott | ||
Jun 12, 2018 at 17:09 | history | answered | Peter LeFanu Lumsdaine | CC BY-SA 4.0 |