nLab closed monoidal structure on sheaves


Let XX be a site with underlying category S XS_X. Write PSh(X)=[S op,Set]PSh(X) = [S^{op}, Set] for the presheaf category of XX and Sh(X)Sh(X) for the corresponding subcategory of sheaves.

The closed monoidal structure on presheaves restricts under the inclusion Sh(X)PSh(X)Sh(X) \hookrightarrow PSh(X) to a closed monoidal structure on sheaves.


f *hom(f 1G,F)hom(G,f *F). f_* hom(f^{-1}G, F) \simeq hom(G, f_* F) \,.

Here f *f_* is the direct image and f 1f^{-1} the inverse image operation.

Last revised on April 2, 2009 at 18:16:00. See the history of this page for a list of all contributions to it.