Timeline for Does F_* have a description in terms of the Grothendieck construction?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 28, 2011 at 18:33 | comment | added | David Spivak | Sorry, I meant $$F_*(\gamma)(-) = {\rm Hom}_{{\rm Cat}_{/C}}((-\downarrow F),\int(\gamma)).$$ | |
| Aug 22, 2010 at 14:06 | comment | added | David Spivak | Thanks Eric. I guess another way to say it is that $F_\ast \gamma$ is the functor $D\to Set$ given by $$F(−)=Hom_{Cat_{/C}}((-/F),\int\gamma).$$ Thanks for the answer. | |
| Aug 22, 2010 at 12:24 | vote | accept | David Spivak | ||
| Aug 21, 2010 at 19:20 | history | answered | Eric Finster | CC BY-SA 2.5 |