Timeline for Strictification for closed monoidal categories
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 25 at 15:36 | history | edited | varkor | CC BY-SA 4.0 |
edited body
|
| Sep 25 at 15:29 | history | answered | varkor | CC BY-SA 4.0 |