**Grothendieck topologies** (or: toposes as generalized spaces):

There is no topology on a general scheme which is e.g. fine enough to give back the cohomological dimensions expected from geometry, but with a more general notion of covering (or: of space) this works out.