This article can also be written as "The unreasonable effectiveness of abstraction in mathematics."