Timeline for Which direction does a lax dinatural transformation go?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 25, 2023 at 5:36 | vote | accept | Mike Shulman | ||
| Jan 12, 2023 at 19:06 | comment | added | Mike Shulman | @MartinBrandenburg Are you saying something different than my penultimate paragraph? | |
| Jan 12, 2023 at 19:02 | comment | added | Martin Brandenburg | Relevant: ncatlab.org/nlab/show/2-dinatural+transformation (which you wrote ^^) | |
| Jan 12, 2023 at 18:55 | comment | added | Martin Brandenburg | Isn't the (left/right) ambiguity you mentioned already baked into the data (functors $ \mathcal{C}^{\mathrm{op}} \times \mathcal{C} \to\mathcal{D}$) we start with? Maybe it can only vanish when we generalize these data? | |
| Jan 12, 2023 at 11:55 | answer | added | S.C. | timeline score: 3 | |
| Jan 12, 2023 at 5:56 | history | asked | Mike Shulman | CC BY-SA 4.0 |