Timeline for Kan extensions and the yoneda embedding.
Current License: CC BY-SA 2.5
10 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Nov 21, 2013 at 12:05 | answer | added | Fujita Tomomi | timeline score: 4 | |
Nov 18, 2010 at 19:17 | answer | added | Buschi Sergio | timeline score: 0 | |
May 7, 2010 at 10:33 | answer | added | David Carchedi | timeline score: 3 | |
May 7, 2010 at 8:38 | vote | accept | Gerrit Begher | ||
May 7, 2010 at 8:32 | history | edited | Gerrit Begher | CC BY-SA 2.5 |
added 87 characters in body
|
May 7, 2010 at 1:41 | comment | added | Mike Shulman | The notation is also otherwise pretty nonstandard; I've never seen $f_\wedge$ and $f^\wedge$ and $f_+$ used in this way. Much more common is $f_! \dashv f^* \dashv f_*$. | |
May 7, 2010 at 1:07 | history | edited | Martin Brandenburg | CC BY-SA 2.5 |
now the adjunctions are in math mode
|
May 7, 2010 at 1:03 | answer | added | Martin Brandenburg | timeline score: 1 | |
May 6, 2010 at 22:49 | comment | added | André Henriques | It seems that $C^\wedge$ denotes the category of presheaves of sets on $C$ (i.e. functors from $C^{\mathit{op}}$ to $\mathit{Set}$). This is not made explicit in the question, I just add this remark for clarity. | |
May 6, 2010 at 22:33 | history | asked | Gerrit Begher | CC BY-SA 2.5 |