Image functors for sheaves

In the context of sheaf theory and category theory, the concept of "image functor" relates to the way we can understand sheaves on a topological space from their restrictions to open sets through the lens of functoriality. ### Sheaves A **sheaf** is a tool for systematically tracking locally defined data attached to the open sets of a topological space and ensuring that this data can be "glued together" in a coherent way.