Theory of categories is all natural and abstract nonsense. Or is it? What would be the most unexpected and/or the least natural theorem of the theory of category? (It does not really have to be THE).
The Dirichlet pigeonhole principle, even if it belonged to the theory of categories (it does not), it would not provide the answer to my question. Indeed, its applications are striking. But the principle itself is obvious and natural.