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