 Inverse image functor

For a continuous map $f:X\to Y$, the inverse-image functor takes a sheaf on $Y$ to the sheafification of its local inverse-image presheaf on $X$. It is left adjoint to the direct image functor. For sheaves of modules on ringed spaces, extension of scalars gives the separate pullback of a sheaf of modules.

The inverse image functor, often denoted by \( f^{-1} \), is a concept from category theory and algebraic topology. It is a construction that relates to how functions (morphisms) between objects (like sets, topological spaces, or algebraic structures) induce relationships between their respective structures.