Direct image functor

In category theory, a **direct image functor** is a concept that arises in the context of functors between categories, particularly when dealing with the theories of sheaves, topology, or algebraic geometry.