Timeline for What are the axioms of the diagrammatic calculus for containers?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 2, 2018 at 20:59 | history | edited | Ben Sprott | CC BY-SA 3.0 |
deleted 265 characters in body
|
| Feb 2, 2018 at 17:50 | history | edited | Ben Sprott | CC BY-SA 3.0 |
from Mike's comment
|
| Feb 2, 2018 at 17:20 | comment | added | Mike Shulman | Not every container is a monad; a container is just a polynomial functor, it may or may not have a monad structure. The category of polynomial functors is indeed a monoidal category under functor composition, so its calculus is just that of an ordinary (non-symmetric) monoidal category. (Polynomial) monads and comonads are just monoids and comonoids in this monoidal category. | |
| Feb 2, 2018 at 0:28 | comment | added | Gerrit Begher | Don't you need a distributive law to compose monads? | |
| Feb 1, 2018 at 20:17 | history | edited | Ben Sprott | CC BY-SA 3.0 |
added 157 characters in body
|
| Feb 1, 2018 at 19:58 | history | edited | Gabriel C. Drummond-Cole | CC BY-SA 3.0 |
added link, tag
|
| Feb 1, 2018 at 18:53 | history | asked | Ben Sprott | CC BY-SA 3.0 |