Теория категорий¶

Теория категорий — это раздел математики, изучающий свойства отношений между математическими объектами, абстрагируясь от их внутренней структуры. В отличие от традиционных подходов, которые сосредоточены на элементах множеств и их свойствах, теория категорий рассматривает объекты и стрелки (морфизмы) между ними, акцентируя внимание на композиции этих стрелок и универсальных свойствах. Она возникла в середине XX века как язык для описания алгебраической топологии и впоследствии стала фундаментальной для многих областей математики, информатики, логики и теоретической физики.

¶Основные понятия

¶Категория

Категория $\mathcal{C}$ состоит из:

• Класса объектов $\operatorname{Ob}(\mathcal{C})$ (например, множества, группы, топологические пространства).
• Класса морфизмов (стрелок) $\operatorname{Hom}_{\mathcal{C}}(A,B)$ для каждой упорядоченной пары объектов $A, B \in \operatorname{Ob}(\mathcal{C})$. Морфизм $f: A \to B$ представляет собой отношение или отображение между объектами.
• Операции композиции: для любых двух морфизмов $f: A \to B$ и $g: B \to C$ существует композиция $g \circ f: A \to C$, которая ассоциативна: $(h \circ g) \circ f = h \circ (g \circ f)$.
• Тождественного морфизма: для каждого объекта $A$ существует морфизм $\operatorname{id}_A: A \to A$, такой что для любого $f: A \to B$ выполняется $f \circ \operatorname{id}_A = f$ и $\operatorname{id}_B \circ f = f$.

¶Функтор

Функтор — это отображение между категориями, сохраняющее структуру. Ковариантный функтор $F: \mathcal{C} \to \mathcal{D}$ сопоставляет каждому объекту $A$ из $\mathcal{C}$ объект $F(A)$ из $\mathcal{D}$, а каждому морфизму $f: A \to B$ — морфизм $F(f): F(A) \to F(B)$, причём $F(\operatorname{id}_A) = \operatorname{id}_{F(A)}$ и $F(g \circ f) = F(g) \circ F(f)$. Контравариантный функтор обращает направление стрелок: $F(f): F(B) \to F(A)$.

¶Естественное преобразование

Естественное преобразование — это семейство морфизмов между двумя функторами, которое «естественно» согласовано с их действием. Для функторов $F, G: \mathcal{C} \to \mathcal{D}$ естественное преобразование $\eta: F \Rightarrow G$ задаётся для каждого объекта $A$ из $\mathcal{C}$ морфизмом $\eta_A: F(A) \to G(A)$, таким что для любого морфизма $f: A \to B$ коммутативна диаграмма: $G(f) \circ \eta_A = \eta_B \circ F(f)$. Естественные преобразования позволяют сравнивать функторы.

¶Универсальные свойства

Одной из центральных идей теории категорий является описание объектов через их универсальные свойства — то есть через отношения с другими объектами, а не через внутреннее устройство. Например, произведение двух объектов $A$ и $B$ — это объект $A \times B$ с проекциями $\pi_1: A \times B \to A$ и $\pi_2: A \times B \to B$, такой что для любого другого объекта $X$ с морфизмами $f: X \to A$ и $g: X \to B$ существует единственный морфизм $\langle f, g \rangle: X \to A \times B$, делающий диаграмму коммутативной. Аналогично определяются копроизведения, пределы, копределы и другие конструкции.

¶История

Теория категорий была введена в 1945 году американскими математиками С. Эйленбергом и С. Маклейном в работе «General Theory of Natural Equivalences» (Общая теория естественных эквивалентностей). Первоначально она служила формальным аппаратом для изучения естественных преобразований в алгебраической топологии, в частности, для описания гомологий и когомологий. В 1950-е годы А. Гротендик и его школа применили категории для переформулировки алгебраической геометрии, введя понятия абелевых категорий и пучков. В 1960-е годы Ф. Лоувер разработал категориальную логику, а Дж. Беннабоу и другие — теорию топосов, которая связала категории с теорией множеств и основаниями математики. В 1970-е годы теория категорий проникла в информатику (например, в теорию типов и семантику языков программирования). К концу XX века она стала самостоятельной дисциплиной с собственными проблемами, такими как теория высших категорий (2-категории, $\infty$-категории).

¶Классификация категорий

Категории классифицируются по размеру и структуре:

• Малая категория: класс объектов является множеством (например, категория конечных множеств).
• Большая категория: класс объектов является собственным классом (например, категория всех множеств $\mathbf{Set}$, категория всех групп $\mathbf{Grp}$).
• Локально малая категория: для любых двух объектов класс морфизмов является множеством (большинство используемых категорий).
• Абелева категория: категория, в которой можно складывать морфизмы и выполнять гомологические конструкции (например, категория абелевых групп).
• Топос: категория, которая ведёт себя как категория множеств, но может иметь собственную внутреннюю логику.
• Моноидальная категория: категория, снабжённая бинарной операцией (тензорным произведением) и единичным объектом (например, категория векторных пространств с тензорным произведением).

¶Применение

¶В математике

Теория категорий служит универсальным языком для многих разделов:

• Алгебраическая топология: гомотопические группы, когомологии, расслоения.
• Алгебраическая геометрия: схемы, пучки, когомологии пучков.
• Гомологическая алгебра: производные функторы, спектральные последовательности.
• Теория представлений: категории модулей, функторы между ними.

¶В информатике

• Теория типов: категории используются для моделирования типов данных и функций (например, категория типов в языке Haskell).
• Семантика языков программирования: денотационная семантика, монады для описания побочных эффектов.
• Логика программирования: категориальная логика, теория топосов для интуиционистской логики.

¶В теоретической физике

• Квантовая теория поля: категории кобордизмов, топологические квантовые теории поля (TQFT).
• Квантовая информация: категориальная квантовая механика, категории процессов.

¶Критика и ограничения

Теория категорий не является общепринятой в качестве основания математики вместо теории множеств. Критики (например, Н. Бурбаки) отмечают её чрезмерную абстрактность и отсутствие прямой связи с конкретными вычислениями. Кроме того, некоторые утверждения в теории категорий требуют аксиомы выбора или предположения о существовании универсумов Гротендика, что усложняет её формализацию. Тем не менее, она остаётся мощным инструментом для унификации и обобщения математических идей.

¶Интересные факты

• Понятие «категория» было введено Эйленбергом и Маклейном как шутка — они хотели создать термин, который звучал бы достаточно абстрактно.
• Теорема о вложении Митчелла — Фройда утверждает, что любую малую абелеву категорию можно вложить в категорию модулей над некоторым кольцом.
• В 2010-х годах теория высших категорий стала основой для формализации математики в программах автоматического доказательства (например, в проекте Univalent Foundations).

¶Источники

• С. Маклейн. Категории для работающего математика. — М.: Физматлит, 2004.
• С. Эйленберг, Н. Стинрод. Основания алгебраической топологии. — М.: ИЛ, 1958.
• Ф. Лоувер. Категории в основаниях математики. — В сб.: Математическая логика и её приложения, 1970.
• Дж. Беннабоу. Логика и категории. — М.: Мир, 1982.
• Б. Джейкобс. Категориальная логика и теория типов. — Elsevier, 1999.