Timeline for Motivation for coherence axioms
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jun 21, 2017 at 18:18 | history | suggested | Rufflewind | CC BY-SA 3.0 |
add dollar signs to make it render as math
|
| Jun 21, 2017 at 17:58 | review | Suggested edits | |||
| S Jun 21, 2017 at 18:18 | |||||
| Oct 19, 2009 at 5:25 | comment | added | Reid Barton | You're quite right about the units. What I wrote only applies to monoidal categories with strict units, but of course it would be desirable to allow weak units as well. Handling units properly is a little awkward from the operad perspective, basically because you can build infinitely many expressions in n variables if you're allowed to use the unit as well as the product operation. | |
| Oct 19, 2009 at 1:18 | vote | accept | Akhil Mathew | ||
| Oct 19, 2009 at 1:18 | vote | accept | Akhil Mathew | ||
| Oct 19, 2009 at 1:18 | |||||
| Oct 18, 2009 at 23:49 | history | answered | Tom Leinster | CC BY-SA 2.5 |