Timeline for Is there a sensible way to enrich over SymMonCat such that id_X is not the monoidal unit?
Current License: CC BY-SA 2.5
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 14, 2010 at 16:20 | vote | accept | Mike Stay | ||
| Nov 12, 2010 at 16:23 | history | edited | Chris Schommer-Pries | CC BY-SA 2.5 |
minor edits.
|
| Nov 12, 2010 at 16:22 | vote | accept | Mike Stay | ||
| Nov 14, 2010 at 16:19 | |||||
| Nov 12, 2010 at 16:18 | vote | accept | Mike Stay | ||
| Nov 12, 2010 at 16:22 | |||||
| Nov 12, 2010 at 16:18 | comment | added | Mike Stay | Thanks to both of you! I voted up Mike's comment, but since it wasn't given as an "answer", I'm accepting Chris' answer. | |
| Nov 12, 2010 at 1:58 | comment | added | Chris Schommer-Pries | I see that Mike Shulman has also suggested this same approach in the comments to the main question. | |
| Nov 11, 2010 at 22:40 | history | edited | Chris Schommer-Pries | CC BY-SA 2.5 |
Massive changes.
|
| Nov 11, 2010 at 22:27 | comment | added | Chris Schommer-Pries | Ahh. I See, we are not using the cartesian product of symmetric monoidal categories, we are using the tensor product of symmetric monoidal categories. | |
| Nov 10, 2010 at 21:17 | comment | added | Mike Shulman | As an example, the category of symmetric monoidal categories is itself enriched over symmetric monoidal categories. The symmetric monoidal structure on SymMonCat(C,D) is pointwise, which means that its monoidal unit is the functor constant at the unit object of D; whereas of course the identity morphism in SymMonCat(C,C) is the identity functor, not the functor constant at the unit object. | |
| Nov 10, 2010 at 3:16 | history | answered | Chris Schommer-Pries | CC BY-SA 2.5 |