Timeline for Induced adjunctions
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 23, 2014 at 14:05 | vote | accept | ABIM | ||
| Mar 17, 2014 at 10:45 | comment | added | Zhen Lin | This is an immediate consequence of the fact that $[-, \mathbf{Set}] : \mathfrak{Cat}^\mathrm{op} \to \mathfrak{CAT}$ is a 2-functor; note that the handedness of the adjunction is reversed. Amusingly, $[(-)^\mathrm{op}, \mathbf{Set}] : \mathfrak{Cat}^\mathrm{coop} \to \mathfrak{CAT}$ preserves the handedness of adjunctions. | |
| Mar 17, 2014 at 3:04 | answer | added | ABIM | timeline score: 3 | |
| Mar 17, 2014 at 2:11 | history | asked | ABIM | CC BY-SA 3.0 |