A comathematician is a machine for turning cotheorems into ffee.

A great article, with interesting references, and as it is about something many people do not seem to understand, worth reading:

> The abstraction-optimization tradeoff