Who Gives a Sheaf? Part 17: Inverse/direct image functors

In this video I define the inverse and direct image functors on sheaves. I then prove they form an adjoint pair of functors.

Introduction (0:00)
Direct image (1:07)
Inverse image (7:59)
Adjunction (15:50)
The map (19:24)
Inverse (27:35)
Naturality (45:06)