Timeline for What is the monoidal equivalent of a locally cartesian closed category?
Current License: CC BY-SA 4.0
1 event
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Mar 9, 2021 at 20:47 | history | answered | Valeria | CC BY-SA 4.0 |