Direct image functor (source code)

= Direct image functor
{wiki=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.