Timeline for Initial strict monoidal category
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 18, 2015 at 22:55 | comment | added | Kevin Carlson | You might find a reference at the paper linked here, which I've never looked at. math.stackexchange.com/questions/646388/… | |
| Oct 18, 2015 at 22:53 | comment | added | Kevin Carlson | @Bubbles I really gave the whole free construction-was any particular aspect unclear? I don't have a reference, as it's constructed by analogy with the free monoid on a set. I do mean setting $(c)$ to be the empty string. The most reasonable way to do this is by inverting the canonical morphism $()\to (c)$. In general, it's quite tricky to say what the morphisms in a colimit of monoidal categories are: it's hard enough just for a colimit of monoids! But am I misinterpreting your "in general?" | |
| Oct 18, 2015 at 19:54 | comment | added | Mellon | I'm curious of the details of your description of the free strict monoidal category. Do you have a reference for the construction? For the case in question, what do you mean by the relation c = I? Is it putting the one-tuple (c) equal to the emptystring? How would one go about constructing the morphisms of this category (in general)? | |
| Oct 18, 2015 at 16:25 | history | edited | Kevin Carlson | CC BY-SA 3.0 |
added 539 characters in body
|
| Oct 18, 2015 at 16:20 | history | answered | Kevin Carlson | CC BY-SA 3.0 |