Timeline for A new(?) kind of 2-adjunction for relating cartesian closed functors using dinatural hexagons
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 10 at 7:34 | history | edited | Johan Thiborg-Ericson | CC BY-SA 4.0 |
Counter examples are appreciated
|
| Jan 10 at 7:27 | history | edited | Johan Thiborg-Ericson | CC BY-SA 4.0 |
Missing paren
|
| Jan 10 at 7:10 | history | edited | Johan Thiborg-Ericson |
Logic and adjunctions are relevant
|
|
| Jan 9 at 18:10 | history | asked | Johan Thiborg-Ericson | CC BY-SA 4.0 |