Теория категорий — раздел математики, изучающий отношения между математическими объектами. Точнее, те свойства отношений, которые не зависят от внутренней структуры объектов. Теория представлений помогла превратить обычные матрицы и группу Ли в мощный инструмент для нужд теории категорий.
