Теория категорий и теория топосов

[AnToNIO_2]

Данная тема включает в себя практические приложения категорий и топосов. Например, для проектирования программного обеспечения.

Сразу встречный вопрос. Кто-нибудь этим занимался?
Удачно?

[m_Андрeй]

Теория категорий весьма успешно применяется в computer science. Если есть интерес к этому направлению - см. сайты
http://www.cwru.edu/artsci/math/wells/pub/ctcs.html
http://www.mta.ca/~cat-dist/categories.html

[AnToNIO_2]

Спасибо.
Буду разбираться.