mathlib documentation

category_theory.sites.pushforward

Pushforward of sheaves #

Main definitions #

The pushforward functor is left adjoint to the pullback functor.

Equations