Timeline for Adjunction symbol
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 17 at 10:08 | comment | added | Paul Taylor | Kan's paper introduces the symbol $\dashv$ in Definition 3.1. I don't know where he got it from, but my guess is that it came from "adjoints" in linear algebra. | |
| Apr 17 at 8:51 | history | edited | Carlo Beenakker | CC BY-SA 4.0 |
typo
|
| Apr 17 at 8:48 | comment | added | Carlo Beenakker | Clive Newstead has a sensible suggestion at math.stackexchange.com/q/2693873/87355 : adjoint = "attached to something else", which is what $\dashv$ shows | |
| Apr 17 at 8:42 | history | asked | Jochen Wengenroth | CC BY-SA 4.0 |