Теория категорий (далее ТК) == математика математики. Математика == один из способов исследования логики процессов. Обычно процессы ведут себя НЕлогично. Чтобы изучать поведение обычных процессов, опускают некоторые особенности, которые мешают процессам вести себя логично. Так мы переходим в мир идей. Это трудно - мы как бы не стоим на земле. Зато в этом абстрактном мире математики все процессы ведут себя логично. Здесь споры не выигрываются криком. Теперь ТК это: логическое исследование логического исследования работы логических процессов...

The language of categories / Язык категорий POST 11 L Как мы выше писали, теория категорий - это набор инструментов для описания общих абстрактных структур в математике, которая фокусируется не на объектах x, y,…, а на отношениях ((гомо)морфизмах) между ними: x → y. Предполагается, что многие свойства математических систем можно представить просто н единообразно посредством диаграмм, состоящих из стрелок. Но прежде начнем с понятия универсума. 1. Логические основы теории Обычной практикой в математике является рассмотрение утверждений с участием «всех групп» или «всех топологических пространств» и т...