Timeline for What is nLab's yoneda-like argument of dinatural transformation's bijection with natural transformations $\hom(x, y) \to \hom(F(y, x), G(x, y))$?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 22 at 10:59 | history | edited | Naïm Favier | CC BY-SA 4.0 |
deleted 125 characters in body
|
| Jul 22 at 9:37 | history | answered | Naïm Favier | CC BY-SA 4.0 |