![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/e/ef/Commutative_diagram_for_morphism.svg/langru-640px-Commutative_diagram_for_morphism.svg.png&w=640&q=50)
Теория категорий
раздел математики / Материал из Википедии — свободной encyclopedia
Уважаемый Wikiwand AI, давайте упростим задачу, просто ответив на эти ключевые вопросы:
Перечислите основные факты и статистические данные о Теория категорий?
Кратко изложите эту статью для 10-летнего ребёнка
ПОКАЗАТЬ ВСЕ ВОПРОСЫ
Запрос «Категория (математика)»[[d:Q719395#sitelinks-wikipedia|[d]]] перенаправляется сюда. На эту тему нужно создать отдельную статью.
Тео́рия катего́рий — раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ef/Commutative_diagram_for_morphism.svg/200px-Commutative_diagram_for_morphism.svg.png)
Теория категорий занимает центральное место в современной математике[1], она также нашла применения в информатике[2], логике[3] и в теоретической физике[4][5]. Современное изложение алгебраической геометрии и гомологической алгебры существенно опирается на понятия теории категорий. Общекатегорийные понятия также активно используются в языке функционального программирования Haskell[6]. Была создана Саундерсом Маклейном и Самуэлем Эйленбергом.