Нулевой объект категории: начальный и конечный сразу

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

Начальный и конечный объект: два разных свойства

Прежде чем говорить о нулевом объекте, надо чётко развести два понятия, которые он соединяет.

Объект $I$ называется начальным (инициальным), если из него в любой объект $X$ категории ведёт ровно один морфизм:

$$\forall X \quad |\mathrm{Hom}(I, X)| = 1.$$

Объект $T$ называется конечным (терминальным), если в него из любого объекта $X$ ведёт ровно один морфизм:

$$\forall X \quad |\mathrm{Hom}(X, T)| = 1.$$

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

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

Определение нулевого объекта

Теперь главное определение. Объект $0$ называется нулевым (или нуль-объектом, zero object), если он одновременно начальный и конечный. То есть для любого объекта $X$ существует ровно один морфизм $0 \to X$ и ровно один морфизм $X \to 0$.

Совпадение двух свойств в одном объекте - нетривиальное условие. В категории множеств начальный объект (пустое множество $\varnothing$) и конечный (одноэлементное множество $\{*\}$) различны, поэтому нулевого объекта там попросту нет. А вот в категории абелевых групп оба свойства выполняет одна и та же тривиальная группа $\{0\}$ - значит, нулевой объект есть. Именно поэтому теория категорий «с нулём» начинается там, где появляется алгебраическая структура.

Нулевой морфизм: зачем нужен нулевой объект

Главная польза нулевого объекта - он рождает нулевой морфизм между любыми двумя объектами. Возьмём $A$ и $B$. Есть единственный морфизм $A \to 0$ (конечность) и единственный $0 \to B$ (начальность). Их композиция

$$0_{AB} \colon A \xrightarrow{\;} 0 \xrightarrow{\;} B$$

и называется нулевым морфизмом из $A$ в $B$. Он не зависит от выбора пути, потому что и тот, и другой морфизм единственны.

Ключевое свойство: нулевой морфизм «поглощает» композицию. Для любых $f \colon X \to A$ и $g \colon B \to Y$ выполняется

$$0_{AB} \circ f = 0_{XB}, \qquad g \circ 0_{AB} = 0_{AY}.$$

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

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

Примеры категорий с нулевым объектом

Соберём эталонную коллекцию, где нулевой объект есть, и поймём, что именно его обеспечивает.

• Абелевы группы $\mathbf{Ab}$. Нулевой объект - тривиальная группа $\{0\}$. Из неё в любую группу ведёт единственный гомоморфизм (образ нуля - нуль), и в неё из любой группы тоже единственный (всё в нуль).
• Модули над кольцом $R\text{-}\mathbf{Mod}$. Нулевой модуль $\{0\}$ играет ту же роль. Это базовый пример, ради которого вся конструкция и затевалась.
• Векторные пространства над полем. Нулевое пространство $\{0\}$ размерности $0$ - нулевой объект.
• Группы $\mathbf{Grp}$ (включая неабелевы). Тривиальная группа $\{e\}$ снова начальна и конечна, поэтому нулевой объект есть и здесь, хотя категория не аддитивна.
• Точечные множества $\mathbf{Set}_*$ (множества с выделенной точкой). Одноточечное множество - нулевой объект.

Объединяет их одно: всюду есть «тривиальный» объект, в который и из которого ведёт единственная стрелка.

Где нулевого объекта нет

Не менее важны контрпримеры - они показывают, что наличие нулевого объекта это содержательное условие, а не формальность.

• Множества $\mathbf{Set}$. Начальный объект - $\varnothing$, конечный - $\{*\}$; они не изоморфны, нулевого нет.
• Топологические пространства $\mathbf{Top}$. Та же картина: пустое пространство начально, одноточечное конечно, совпадения нет.
• Кольца с единицей. Начальный объект - кольцо $\mathbb{Z}$ (из него единственный гомоморфизм, сохраняющий единицу), конечный - нулевое кольцо. Они различны, поэтому нулевого объекта в этой категории нет.

Закономерность: как только в категории «единица» и «пустота» - это разные объекты, нулевого объекта не будет, и нулевые морфизмы там не определены автоматически.

Связь с прямыми суммами и аддитивностью

Нулевой объект - первый кирпич, на котором строятся более богатые структуры. В аддитивной категории он обязателен по определению: без него нельзя ввести бипроизведение и записать морфизмы матрицами. Более того, в Ab-обогащённой категории «геометрический» нулевой морфизм (через нулевой объект) совпадает с нейтральным элементом группы $\mathrm{Hom}(A, B)$ - два разных определения нуля сходятся в одно, и это согласование часть того, что делает категорию аддитивной.

Дальше по этой лестнице идут абелевы категории, где через нулевой морфизм определяются ядро (как уравнитель морфизма и нуля) и коядро. Так маленькое требование «начальный = конечный» оказывается фундаментом всей гомологической алгебры.

Как проверить наличие нулевого объекта

Практический алгоритм проверки прост и разбивается на три шага.

1. Найти начальный объект. Какой объект отправляет ровно по одной стрелке во всё остальное? Часто это «самый бедный» объект - пустой, тривиальный, нулевой.
2. Найти конечный объект. В какой объект из всего ведёт ровно одна стрелка? Часто это «самый поглощающий» - одноточечный, нулевой.
3. Проверить совпадение. Если найденные начальный и конечный объекты изоморфны - это и есть нулевой объект. Если различны - нулевого объекта в категории нет.

Главная тонкость на шаге 3: совпадение надо проверять с точностью до изоморфизма, а не «дословно». Один и тот же по сути тривиальный объект может быть записан по-разному, но если между начальным и конечным есть изоморфизм, нулевой объект существует.

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

• Путать нулевой объект с начальным или конечным по отдельности. Нулевой требует обоих свойств сразу; в $\mathbf{Set}$ есть и начальный, и конечный, но нулевого нет, потому что они не совпадают.
• Считать, что нулевой объект есть в любой категории. В множествах, топологических пространствах и кольцах с единицей его нет. Это не дефект, а содержательное отличие.
• Забывать про единственность морфизма. Начальность это не «есть морфизм», а «ровно один». Если морфизмов несколько, объект не начальный.
• Думать, что нулевой морфизм определён всегда. В общей категории без нулевого объекта понятия «нулевой морфизм» нет; оно появляется именно из нуль-объекта (или из Ab-обогащения).
• Смешивать нулевой объект и нуль кольца морфизмов. Это разные нули; они совпадают только в аддитивной категории, и это совпадение надо доказывать, а не постулировать.

FAQ

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

Почему в категории множеств нет нулевого объекта? Начальный объект там - пустое множество, конечный - одноэлементное. Они не изоморфны (в пустом множестве нет элементов, в одноэлементном есть один), поэтому ни один объект не является начальным и конечным одновременно.

Как нулевой объект связан с нулевым морфизмом? Нулевой морфизм из $A$ в $B$ строится как композиция $A \to 0 \to B$ через нулевой объект. Поскольку оба этих морфизма единственны, нулевой морфизм определён корректно и не зависит от выбора пути. Без нулевого объекта такого канонического нуля между объектами в общем случае нет.

Коротко

Нулевой объект категории - это объект, одновременно начальный и конечный: из него и в него ведёт ровно по одной стрелке для каждого объекта. Он есть в группах, модулях и векторных пространствах (тривиальный объект $\{0\}$), но отсутствует в множествах, топологических пространствах и кольцах с единицей, где начальный и конечный объекты различны. Главная его роль - порождать нулевой морфизм между любыми объектами, на котором затем строятся ядра, коядра и вся аддитивная и гомологическая алгебра.