Timeline for A List-Like Frobenius Monad
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 5, 2017 at 1:40 | comment | added | Ben Sprott | HI Todd, Yes, I was thinking Containers as in the paper, and I believe they are all Monads on Set. In my research, I might switch away from either Set or the Frobenius requirement as there are a few ways to combine a monad and comonad structure.. | |
| Sep 5, 2017 at 1:38 | history | bounty ended | Ben Sprott | ||
| Sep 1, 2017 at 0:15 | comment | added | Todd Trimble | Ben, if I had a better idea what you are trying to do in your research with regard to Frobenius, I might be able to say something more hopeful. I got the impression though you were looking at monads on $\mathrm{Set}$. | |
| Aug 31, 2017 at 23:17 | vote | accept | Ben Sprott | ||
| Aug 31, 2017 at 6:42 | comment | added | მამუკა ჯიბლაძე | @BenSprott Not knowing what are your restrictions - nontrivial such guys might be f.d. vector spaces with a nondegenerate bilinear form (more generally, Hilbert spaces too) | |
| Aug 30, 2017 at 21:57 | comment | added | Ben Sprott | Sorry, ignore the question in my comment. It's just a bit of a let down. I will wait a few days to see if anyone else has anything to add, but I guess this settles the matter. | |
| Aug 30, 2017 at 21:45 | comment | added | Ben Sprott | Hi Todd. That sucks for my research....What about FinSet? | |
| Aug 30, 2017 at 20:58 | history | answered | Todd Trimble | CC BY-SA 3.0 |