(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.

Comments

[dmm]

Любопытно, что это статья Ловера очень много упоминает динамические системы, но последующих работ, применяющих этот подход к динамическим системам, немного (к сожалению)...