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.
New to topics? Read the docs here!
New to topics? Read the docs here!