Adjunctions from morphisms 4

A proof that the push-forward is right adjont to pull-back.