Quintanar,

Q>Тут кто-то интересовался теорией категорий в доступнов виде. Нашел одну книгу как раз по теме, правда я ее из осла скачал. Называется Computational Category Theory. В ней описаны основные конструкции и заодно приводятся примеры программ на ML, которые их в лоб имплементируют. Надо сказать, программы выглядят крайне оригинально, хотя я пока не понял, как для мирных целей можно применить построение пределов, копределов и сопряженных функторов. Может их и можно как-нибудь приспособить как монады, все-таки предел — это очень мощное понятие.

А вот можно глупый вопрос: где в реальной жизни мне можно применить теорию категорий? Функторы пучковизации и топосы — это конечно круто звучит и не каждому доступно понять, только вот даже алгебраисты (ну вы же знаете — гиперболические группы без кручения и всё такое) не всегда в курсе, зачем ТК нужна.

Хотя бы какой-нибудь гипотетический пример гипотетической ситуации