Здравствуйте, Lazy Cjow Rhrr, Вы писали:

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

Конечные булевы топосы применяются для моделирования онтологий.