Timeline for Which direction does a lax dinatural transformation go?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 25, 2023 at 5:36 | vote | accept | Mike Shulman | ||
| Jan 12, 2023 at 18:57 | comment | added | Mike Shulman | That's actually not too bad of an argument, and it can be summarized without needing to talk about type theory. The point is just that in an ordinary lax natural transformation, if $f:c\to c'$, then $\alpha_c$ appears in the domain of $\alpha_f$ while $\alpha_{c'}$ appears in its codomain, so we can carry over that convention to the dinatural case. | |
| S Jan 12, 2023 at 11:55 | review | First answers | |||
| Jan 12, 2023 at 12:09 | |||||
| S Jan 12, 2023 at 11:55 | history | answered | S.C. | CC BY-SA 4.0 |