Timeline for Order of factors for unit/counit of duals
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 18, 2021 at 11:19 | answer | added | Tim Campion | timeline score: 2 | |
| Oct 8, 2021 at 10:06 | comment | added | Alec Rhea | @MikeShulman Yes, it just seemed an odd choice and I've got pages of notes with the ordering in the other direction. (if there's no consequential difference I'll just leave the notes alone) | |
| Oct 8, 2021 at 8:12 | comment | added | Mike Shulman | We are in a symmetric monoidal category, right? So the order doesn't really matter... | |
| Oct 7, 2021 at 19:46 | comment | added | Alec Rhea | The ordering of the tensor product of the object with its dual in the definition of the unit/counit arrows for dual objects. | |
| Oct 7, 2021 at 14:34 | comment | added | Mike Shulman | What do you mean by "order of factors"? | |
| Oct 7, 2021 at 6:40 | history | asked | Alec Rhea | CC BY-SA 4.0 |