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