Теория категорий и реальный мир

[spk]

Здравствуйте!

Не знает ли кто, есть ли в рунете какие-нибудь работы, посвященные применению теории категорий в области работы с данными. Ведь она, безусловно, являются хорошим инструментарием для описания реального мира.
Я видел в рунете диссетрацию, посвященную применению в теории баз данных. Но по причине сбоя компьютера, видимо, я ее потерял. Хотелось бы верить, что не навсегда, а то почитать ее очень хочется.

[luitzen]

Есть книжка A. Asperti и G. Longo под названием “Categories, types, and structures”. Она имеет подзаголовок “An Introduction to Category Theory for the working computer scientist”. Не помню, где качал, выкладываю здесь.

Ещё на сайте журнала Theory and Applications of Categories видел несколько прикладных статей (помню словосочетание “quantum mechanics” встретилось).

Добавлено спустя 6 минут 9 секунд:

В “Lost & Found” Вы, кажется, спрашивали англоязычную статью, вот я и решился указать на что-то не из рунета.

[spk]

Спасибо.
Я тут в забугорном интернете нашел интересное обсуждение о прикладных приложениях теории категорий: ссылка.

Вот интересно, почему теорию категорий не преподают в наших ВУЗ'ах. Ведь кроме самой красоты конструкции, у нее отличные перспективы стать единым унификационным языком: возможность единым образом описывать все.
Еще нашел русскоязычную интереснейшую статью: ""Теоретико-топосный подход к описанию ветвящегося пространства-времени