Timeline for Are there cartesian closed monads that also preserve the closed structure of the CCC
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 2 at 19:09 | comment | added | varkor | I don't have time to give a detailed answer now, but Kock's Bilinearity and Cartesian closed monads may be relevant to you. | |
| Dec 28, 2023 at 14:29 | history | edited | Johan Thiborg-Ericson | CC BY-SA 4.0 |
added 9 characters in body
|
| Dec 28, 2023 at 12:06 | history | asked | Johan Thiborg-Ericson | CC BY-SA 4.0 |