Теорию категорий можно в первом приближении понимать как математическую теорию объектов, преобразований между ними и правил, по которым эти преобразования можно соединять. Если теория групп абстрагирует идею симметрий, перестановок и обратимых преобразований, то теория категорий абстрагирует идею функций и их композиции. При этом внимание переносится с внутреннего устройства объектов на отношения между ними. Начнём с обычных функций. Пусть есть функция и функция Интуитивно композицию можно понимать как последовательное соединение двух процессов...