Ядро (теория категорий)

Шаблон:Другие значения Ядро в теории категорий — категорный эквивалент ядра гомоморфизма из общей алгебры; интуитивно, ядро морфизма $f:X\to Y$ — это «наиболее общий» морфизм $k:K\to X$, после которого применение $f$ даёт нулевой морфизм.

Определение

Пусть $𝒞$ — категория с нулевыми морфизмами. Тогда ядро морфизма $f:X\to Y$ — это уравнитель его и нулевого морфизма $0:X\to Y$. Более явно, выполняется следующее универсальное свойство:

Ядро $f:X\to Y$ — это морфизм $k:K\to X$, такой что:

• $f\circ k$ — нулевой морфизм из $K$ в $Y$:

  

• для любого морфизма $k^{\prime }:K^{\prime }\to X$, такого что $f\circ k^{\prime }$ — нулевой, существует единственный морфизм $u:K^{\prime }\to K$, такой что $k\circ u=k^{\prime }$:

  

Примеры

Во многих категориях это определение ядра совпадает с обычным: если $f:X\to Y$ — гомоморфизм групп или модулей, то ядро в категорном смысле — это вложение ядра в алгебраическом смысле в прообраз.

Однако в категории моноидов ядра в категорном смысле аналогичны ядрам групп, поэтому определение ядра в теории моноидов немного отличается. В категории колец, наоборот, ядер в категорном смысле не существует вовсе, так как не существует нулевых морфизмов. Интерпретировать ядра моноидов и колец в теории категорий можно при помощи концепции пар ядер.

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

Двойственное к ядру понятие — коядро, то есть ядро морфизма — это его коядро в двойственной категории, и наоборот.

Каждое ядро, как и любой другой уравнитель, является мономорфизмом. Обратно, мономорфизм называется нормальным, если он является ядром другого морфизма. Категория называется нормальной, если любой мономорфизм в ней нормален.

В частности, абелевы категории являются нормальными. В этой ситуации, ядро коядра морфизма называется его Шаблон:Iw. При этом каждый мономорфизм является своим собственным образом.

Литература

• Шаблон:Книга:Категории для работающего математика
• Шаблон:Книга