Timeline for Basic category theory: Universality of adjunction unit is justified by Yoneda Proposition in Mac Lane's text
Current License: CC BY-SA 3.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 2, 2014 at 16:45 | history | answered | Finn Lawler | CC BY-SA 3.0 |