#exceptional inverse image

The four functors of Grothendieck in examples