A remarkable paper by Hazewinkel. From introduction:
I aim to raise a new kind of question. It appears that many important mathematical objects (including counterexamples) are unreasonably nice, beautiful and elegant. They tend to have (many) more (nice) properties and extra bits of structure than one would a priori expect.
The question is why this happens and whether this can be understood .