One can find a couple of "concrete" striking applications of category theory in algebraic geometry. For example:
Faithfully flat descent follows from Beck's monadicity theorem.
Grothendieck duality, follows from Brown representability, by work of Neeman.
