Timeline for symmetric monoidal dagger endofunctor categories
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 14, 2014 at 14:12 | comment | added | David White | Hi Martin. Thanks. I was unaware of that, since I always work in a closed monoidal setting. But it's good to know there is in fact an extra hypothesis needed. | |
| Aug 14, 2014 at 12:56 | comment | added | Martin Brandenburg | @DavidWhite: Day convolution needs colimits with distribute over the tensor product. | |
| Aug 3, 2014 at 0:04 | comment | added | David White | I'm not sure about the dagger part, but any time you have a category of functors Fun(C,D) you can endow it with the Day convolution product. In your case C=D and you don't need any restrictions on the types of functors. You just need C to be a monoidal category (symmetric if you want the Day product symmetric). See ncatlab.org/nlab/show/Day+convolution, mathoverflow.net/questions/130616/… | |
| Aug 2, 2014 at 18:43 | comment | added | Ben Sprott | Sorry, not every object is a monad, but when you do have a monad, you also have a frobenius monad. | |
| Aug 2, 2014 at 17:58 | comment | added | Ben Sprott | I would like to point out that with a dagger structure on $End(C)$, we have a category where every object is a monad and has a twin comanad, which together form a Frobenius monad. | |
| Aug 2, 2014 at 17:13 | history | asked | Ben Sprott | CC BY-SA 3.0 |