For a continuous map , the direct-image functor sends a sheaf on to the sheaf on , and sends sheaf morphisms to their induced maps on sections. Its output is a direct image sheaf.
Articles by others on the same topic
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.