(no subject)

[timelets]

...it is the mutability of mathematically precise structures (by morphisms) which is the essential content of category theory. If the structures are themselves categories, this mutability is expressed by functors, while if the structures are functors, the mutability is expressed by natural transformations.

--- F. William Lawvere, 2005.