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

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

[timelets]

В MIT, по-моему, народ занимается динамическими системами. Насколько я знаю, для Ловера это был переход к новой аксиоматике для физики.

[dmm]

Что-то делают, но негусто (или плохо ссылаются: что я делаю, я смотрю в Google Scholar на ссылки на "Taking categories seriously" paper (которых 96, по мнению Google Scholar) и ищу dynamical отметив "Search within citing articles" checkbox"; какие-то результаты есть, но [...])

[timelets]

Надо будет сослаться :)

[dmm]

Вот!