Source: wikibot/direct-image-functor
= 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.