Timeline for A List-Like Frobenius Monad
Current License: CC BY-SA 3.0
16 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Sep 5, 2017 at 1:38 | history | bounty ended | Ben Sprott | ||
| S Sep 5, 2017 at 1:38 | history | notice removed | Ben Sprott | ||
| Aug 31, 2017 at 23:17 | vote | accept | Ben Sprott | ||
| Aug 30, 2017 at 20:58 | answer | added | Todd Trimble | timeline score: 5 | |
| S Aug 30, 2017 at 15:44 | history | bounty started | Ben Sprott | ||
| S Aug 30, 2017 at 15:44 | history | notice added | Ben Sprott | Canonical answer required | |
| Aug 30, 2017 at 13:57 | history | edited | Martin Sleziak |
added (monads) tag
|
|
| Aug 30, 2017 at 13:53 | history | edited | Ben Sprott | CC BY-SA 3.0 |
edited body
|
| Aug 29, 2017 at 21:22 | history | edited | Ben Sprott | CC BY-SA 3.0 |
added 169 characters in body
|
| Aug 29, 2017 at 20:30 | history | edited | Ben Sprott | CC BY-SA 3.0 |
added 109 characters in body
|
| Sep 9, 2016 at 14:44 | history | edited | Ben Sprott | CC BY-SA 3.0 |
deleted 1 character in body
|
| Jul 31, 2016 at 6:59 | comment | added | Mike Shulman | Right, that was exactly my point: having a monad that is "also a comonad" is not sufficient to have a "Frobenius monad", because there is an extra condition. So you can't say "and hence". | |
| Jul 30, 2016 at 9:47 | comment | added | მამუკა ჯიბლაძე | @MikeShulman The part I don't understand is "and hence". Is just a Frobenius monad structure on a list-like endofunctor meant, or something more (or less)? | |
| Jul 26, 2016 at 3:28 | comment | added | Mike Shulman | A "Frobenius monad" and a "bimonad" would be two different possible ways of combining a monad and comonad structure, satisfying axioms analogous to those of a Frobenius algebra and a bialgebra. (In particular, having a monad and comonad doesn't immediately imply either one; there are extra compatibility axioms to check, different ones in each case.) So I expect that Tom knew what he was talking about when choosing one terminology rather than the other. | |
| Jul 25, 2016 at 19:14 | comment | added | მამუკა ჯიბლაძე | Tom Leinster in an answer to your question mathoverflow.net/a/237967/41291 has described structures of monad and comonad on $L^+$ (nonempty lists). He however calls this bimonad rather than Frobenius monad. | |
| Jul 25, 2016 at 18:32 | history | asked | Ben Sprott | CC BY-SA 3.0 |