Timeline for Making additive envelopes of monoidal categories monoidal
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 6, 2014 at 16:55 | vote | accept | Josh | ||
| Apr 6, 2014 at 16:55 | comment | added | Josh | Ah yes I was aware of that, though probably should have pointed that out. Thanks! | |
| Apr 6, 2014 at 16:10 | comment | added | Adam Gal | just a note: you say that you consider direct sums, i.e. coproducts, but your morphisms are really morphisms from the coproduct of x_i's to the product of y_i's, and then to compose you identify them, so really they are "formal biproducts" | |
| Apr 3, 2014 at 15:11 | answer | added | Dimitri Chikhladze | timeline score: 4 | |
| Apr 3, 2014 at 10:00 | comment | added | Fernando Muro | Indeed, I mean enriched in abelian groups. | |
| Apr 3, 2014 at 9:59 | history | edited | Josh | CC BY-SA 3.0 |
added 30 characters in body
|
| Apr 3, 2014 at 9:58 | comment | added | Josh | Thanks @Muro! :) I don't think $\mathcal{C}$ is required to be additive, I thought the point of taking the additive envelope was to construct an additive category containing the original. But I think you're right in that I need $\mathcal{C}$ to be enriched over abelian groups. Thanks! | |
| Apr 3, 2014 at 9:41 | comment | added | Fernando Muro | I've corrected that tag. I guess you should add that $\mathcal C$ is additive. Your construction looks correct to me, but I don't know of any reference. | |
| Apr 3, 2014 at 9:40 | history | edited | Fernando Muro |
edited tags
|
|
| Apr 3, 2014 at 8:09 | review | First posts | |||
| Apr 3, 2014 at 8:16 | |||||
| Apr 3, 2014 at 7:54 | comment | added | Josh | And I'm not sure if higher-category-theory is an appropriate tag for this question, help retagging would be appreciated. | |
| Apr 3, 2014 at 7:53 | history | asked | Josh | CC BY-SA 3.0 |