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$
For $C,D$ small categories, and $f : C \to D$ a functor between them, there is a precomposition, or "inverse image", functor $f^* = (-) \circ f : Set^D \to Set^C$. It has a left and a right adjoint. ...
Say f: X → Y is a morphism of schemes. The sheaf direct image functor f★ always has a left adjoint, namely the sheaf inverse image functor f★ (with tensoring). Under what ...