Timeline for The MultiSet (Bag) Monad on FinHilb
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 5, 2018 at 0:25 | comment | added | Todd Trimble | I'm having difficulty making sense of the question. In ordinary language, I equate 'bag' to 'multiset' or to an element of a free commutative monoid; the analogous construct for a general monad would be a morphism $1 \to X$ of the Kleisli category. So a "trivial bag structure" of type $X$ I would have to translate as a morphism $1 \to X$ in the Kleisli category of the identity monad, which is just an element of $X$. But all of this is terribly unenlightening. I'd think you'd be much better off pursuing what Eduardo had in mind. | |
| Jul 4, 2018 at 17:19 | comment | added | Ben Sprott | Hi Todd, does that mean the trivial bag monad would be, like an empty bag? It could have all the natural Isos $TT \rightarrow T$, $1 \rightarrow T$, but the bags are just empty? | |
| Jul 4, 2018 at 17:07 | comment | added | Eduardo Pareja Tobes | it's polynomial in a 2-dimensional sense; you'd need a 2-category of Hilbert spaces. | |
| Jul 4, 2018 at 17:01 | comment | added | Todd Trimble | The trouble is that monads on groupoids are pretty uninteresting, since they are forced to be isomorphic to the identity monad. | |
| Jul 4, 2018 at 16:49 | history | asked | Ben Sprott | CC BY-SA 4.0 |