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*).