Timeline for How is the right adjoint $f_*$ to the inverse image functor $f^*$ described for functor categories $Set^C$, $Set^D$ and $f : C \to D$
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jan 21, 2023 at 14:11 | history | suggested | FShrike | CC BY-SA 4.0 |
Corrected a small LaTex error
|
| Jan 21, 2023 at 12:50 | review | Suggested edits | |||
| S Jan 21, 2023 at 14:11 | |||||
| Jul 22, 2010 at 15:04 | comment | added | Michael A Warren | You're quite right about the typo. I'm so used to using this formula when dealing with presheaves $[\mathcal{C}^{\text{op}},\textbf{Sets}]$ that I mixed up the variance, doh! | |
| Jul 22, 2010 at 15:02 | history | edited | Michael A Warren | CC BY-SA 2.5 |
Fixed variance issue with indexing category of the limit.
|
| Jul 22, 2010 at 12:00 | comment | added | vincenzoml | Michael, thanks! This helped me understand the definition in MacLane. But reading p. 237-238 (in the second edition) that is, the definition you spell out above, and having made calculations, it seems to me that there's a typo above: the index category of the limit is $(d \downarrow f)$ and the limit is indexed over $d \to f(c)$. For the rest, a very clear explanation. | |
| Jul 21, 2010 at 17:27 | vote | accept | vincenzoml | ||
| Jul 21, 2010 at 15:28 | history | answered | Michael A Warren | CC BY-SA 2.5 |