Предел диаграммы в категории: конус и универсальность

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

Диаграмма как функтор

Прежде чем говорить о пределе, нужно зафиксировать, над чем он берётся. Диаграмма в категории $\mathcal{C}$ формы $\mathcal{J}$ - это просто функтор $D\colon \mathcal{J}\to\mathcal{C}$. Маленькая категория $\mathcal{J}$ называется индексной категорией (или схемой диаграммы): её объекты задают вершины, а морфизмы - рёбра, которые обязаны коммутировать.

Интуитивно диаграмма - это картинка из объектов категории $\mathcal{C}$, соединённых стрелками. Например, если $\mathcal{J}$ состоит из двух объектов без нетождественных морфизмов между ними, то диаграмма - это просто пара объектов $D_1, D_2$ категории $\mathcal{C}$. Если же $\mathcal{J}$ - это «уголок» $\bullet\to\bullet\leftarrow\bullet$, диаграмма выглядит как пара стрелок с общей целью.

Форма $\mathcal{J}$ полностью определяет, какого типа предел мы получим. Это удобно: одна и та же конструкция предела, применённая к разным формам, порождает произведения, уравнители, расслоённые произведения и многое другое.

Рассчитать для своей задачи

Конус над диаграммой

Центральное вспомогательное понятие - конус. Конус над диаграммой $D\colon\mathcal{J}\to\mathcal{C}$ с вершиной $N$ - это объект $N$ категории $\mathcal{C}$ вместе с семейством морфизмов $\psi_X\colon N\to D(X)$, по одному на каждый объект $X$ диаграммы, таких что для любого морфизма $f\colon X\to Y$ в $\mathcal{J}$ треугольник коммутирует:

$$D(f)\circ\psi_X=\psi_Y.$$

Геометрически это и впрямь конус: вершина $N$ «нависает» над всей диаграммой, а проекции $\psi_X$ - это рёбра, спускающиеся к её вершинам. Условие коммутативности гарантирует, что проекции согласованы со всеми стрелками внутри диаграммы.

Конусов над одной диаграммой обычно много. Среди них нас интересует самый «экономный», самый универсальный - он и будет пределом. Идея ровно та же, что у универсального свойства вообще: выбрать объект, через который однозначно пропускается любой другой.

Предел как универсальный конус

Предел диаграммы $D$ - это конус $(L, \pi_X)$, который универсален среди всех конусов. Универсальность означает: для любого другого конуса $(N, \psi_X)$ существует единственный морфизм $u\colon N\to L$, такой что для каждого объекта $X$ диаграммы

$$\pi_X\circ u=\psi_X.$$

Иными словами, любой конус однозначно «пропускается» через предел. Объект $L$ часто обозначают $\lim D$, а морфизмы $\pi_X$ называют проекциями предела. Сам предел вместе с проекциями - это и есть «лучший» конус: он не теряет информацию (любой согласованный набор данных через него выражается) и не добавляет лишней (стрелка $u$ ровно одна).

Универсальное свойство сразу даёт важное следствие: предел единственен с точностью до единственного изоморфизма. Если есть два предела одной диаграммы, универсальность каждого порождает взаимно обратные сравнивающие морфизмы, а их композиции по единственности совпадают с тождественными. Поэтому говорят «тот предел», а не «какой-то предел», и спокойно обозначают его одним символом $\lim D$, не уточняя выбор представителя.

Рассчитать для своей задачи

Формально универсальность можно записать через изоморфизм множеств морфизмов, естественный по $N$:

$$\operatorname{Hom}_{\mathcal{C}}(N,\lim D)\;\cong\;\operatorname{Cone}(N,D).$$

Слева - обычные морфизмы в предел, справа - конусы с вершиной $N$. Этот изоморфизм и есть содержательная формулировка: предел представляет функтор конусов.

Частные случаи: произведение, ядро, расслоённое произведение

Главная сила понятия в том, что знакомые конструкции оказываются пределами над подходящими формами $\mathcal{J}$.

• Произведение $A\times B$ - предел диаграммы из двух объектов без стрелок. Конус - это пара проекций $N\to A$, $N\to B$; универсальный конус и есть произведение с каноническими $\pi_A,\pi_B$.
• Терминальный объект - предел пустой диаграммы ($\mathcal{J}=\varnothing$). Конус без проекций - это просто объект, и универсальный среди них - терминальный.
• Уравнитель (ядро пары стрелок) - предел диаграммы $A\rightrightarrows B$ из двух параллельных морфизмов $f,g$. Это объект $E$ со стрелкой в $A$, для которого $f$ и $g$ совпадают.
• Расслоённое произведение (pullback) $A\times_C B$ - предел «уголка» $A\to C\leftarrow B$. Универсальный конус - это пара согласованных стрелок в $A$ и $B$, дающих один и тот же образ в $C$.

Рассчитать для своей задачи

Двойственное понятие - копредел - получается обращением всех стрелок: вместо конусов берут коконусы (вершина снизу), и универсальность ищут в другую сторону. Копределами оказываются копроизведение, коуравнитель и расслоённая сумма (pushout).

Когда предел существует

Предел существует не всегда: он определён универсальным свойством, но объекта с таким свойством в категории может не быть. Категорию, в которой есть пределы всех малых диаграмм, называют полной.

Ключевой критерий: категория обладает всеми (малыми) пределами тогда и только тогда, когда в ней есть все произведения и все уравнители. Любой предел собирается из них - это удобный способ доказывать полноту, не перебирая все формы диаграмм. Схема такая: берут произведение всех объектов диаграммы, а затем уравнителем выделяют ту его часть, где проекции согласованы со стрелками. В категории множеств $\mathbf{Set}$, в категориях групп, колец, топологических пространств пределы существуют и считаются явно: предел - это подмножество произведения, выделенное условиями согласованности, с наследованной структурой (групповой операцией, топологией) от сомножителей.

Понятие тесно связано с эквивалентностью категорий: эквивалентные категории имеют «одни и те же» пределы, поскольку универсальные свойства сохраняются при эквивалентности. А функтор, который переводит пределы в пределы, называют непрерывным (сохраняющим пределы) - таковы, например, правые сопряжённые функторы.

Частые ошибки

• Путать предел с самой диаграммой. Диаграмма - это исходная картинка из объектов и стрелок; предел - новый универсальный объект над ней. Это разные сущности.
• Забывать про единственность стрелки. В универсальном свойстве важно не только существование морфизма $u$, но и его единственность. Без единственности объект не предел, а лишь слабый предел.
• Смешивать предел и копредел. Предел - это универсальный конус над диаграммой (вершина сверху, стрелки вниз); копредел - коконус под ней. Произведение - предел, копроизведение - копредел.
• Проверять коммутативность не для всех стрелок. Конус обязан согласовываться с каждым морфизмом индексной категории, а не только с её образующими; забытое ребро ломает определение.
• Считать, что предел всегда есть. В произвольной категории нужного объекта может не быть; существование пределов - отдельное свойство категории (полнота).

FAQ

Чем предел отличается от произведения? Произведение - это частный случай предела: предел диаграммы из объектов без стрелок между ними. Общее понятие предела работает для любой формы диаграммы, включая стрелки и условия коммутативности, поэтому охватывает не только произведения, но и уравнители, расслоённые произведения и прочее.

Почему предел единственен? Единственность следует из универсального свойства. Если два объекта оба универсальны, между ними есть взаимно обратные сравнивающие морфизмы, построенные по универсальности каждого. Значит, любые два предела одной диаграммы канонически изоморфны, причём изоморфизм единствен.

Что такое предел в категории множеств? В $\mathbf{Set}$ предел диаграммы - это множество всех согласованных наборов: подмножество декартова произведения $\prod_X D(X)$, состоящее из кортежей, которые уважают все стрелки диаграммы. Проекции предела - это ограничения координатных проекций произведения.

Коротко

Предел диаграммы $D\colon\mathcal{J}\to\mathcal{C}$ - это универсальный конус над ней: объект $\lim D$ с согласованными проекциями, через который однозначно пропускается любой другой конус. Форма индексной категории $\mathcal{J}$ задаёт тип предела: пустая диаграмма даёт терминальный объект, два объекта - произведение, параллельные стрелки - уравнитель, уголок - расслоённое произведение. Универсальность гарантирует единственность предела с точностью до канонического изоморфизма, а наличие всех произведений и уравнителей делает категорию полной.