Timeline for Adjoint Functors as Initial Objects of Some Category
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 21, 2020 at 17:48 | comment | added | Bumblebee | @Todd Trimble: If my understanding is correct, this defines the right Kan extension of identity functor of $D$ along $G.$ But in order to be a left adjoint, this Kan extension must be absolute. | |
| Jan 16, 2016 at 8:40 | comment | added | nicolas | or in tom leinster book basic category theory, that's his 3rd presentation of adjunction | |
| Nov 25, 2012 at 10:17 | comment | added | Martin Brandenburg | Feel free to erase the commutative diagram if you don't like it. | |
| Nov 25, 2012 at 10:17 | history | edited | Martin Brandenburg | CC BY-SA 3.0 |
added 67 characters in body
|
| Nov 25, 2012 at 8:45 | comment | added | Buschi Sergio | In other (but essentally the some) words, considering the lax-comma 2-category $CAt // D$ the left adjoint of $G$ is the initial object of the Hom-category $CAt // D[1_D, G]$. | |
| Nov 25, 2012 at 5:52 | vote | accept | Dmitry V | ||
| Nov 25, 2012 at 3:43 | history | edited | David Corwin | CC BY-SA 3.0 |
corrected spelling
|
| Nov 25, 2012 at 3:37 | history | answered | Todd Trimble | CC BY-SA 3.0 |