Timeline for Strictifying closed monoidal categories?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 14, 2020 at 15:04 | comment | added | Kevin Carlson | Kelly and Mac Lane proved a coherence theorem for closed monoidal categories here: sciencedirect.com/science/article/pii/0022404971900132 | |
| Jun 11, 2020 at 4:10 | review | First posts | |||
| Jun 11, 2020 at 4:52 | |||||
| Jun 11, 2020 at 4:01 | history | edited | ClosedCoherence | CC BY-SA 4.0 |
added 248 characters in body
|
| Jun 11, 2020 at 3:52 | history | asked | ClosedCoherence | CC BY-SA 4.0 |