## Pathologies in the fppf topology

In algebraic geometry, very often one encounters theorems of the following flavor:

**Theorem: **Let be a morphism of spaces. Then for every sheaf on that is finite, so is its pushforward .

Notice how I was being deliberately vague in the theorem above. What are and ? What does “finite” mean? Well, it turns out that this depends on the …