Факторная категория - Quotient category - Wikipedia

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

Определение

Позволять C быть категорией. А отношение конгруэнтности р на C дается: для каждой пары объектов Икс, Y в C, отношение эквивалентности рИкс,Y на Hom (Икс,Y), такие что отношения эквивалентности учитывают композицию морфизмов. То есть, если

связаны в Hom (Икс, Y) и

связаны в Hom (Y, Z), тогда грамм1ж1 и грамм2ж2 связаны в Hom (Икс, Z).

Учитывая отношение конгруэнтности р на C мы можем определить факторная категория C/р как категория, объекты которой принадлежат C и чьи морфизмы классы эквивалентности морфизмов в C. То есть,

Состав морфизмов в C/р является четко определенный поскольку р является отношением конгруэнтности.

Характеристики

Есть естественный коэффициент функтор из C к C/р который переводит каждый морфизм в его класс эквивалентности. Этот функтор биективен на объектах и ​​сюръективен на Hom-множествах (т.е. полный функтор ).

Каждый функтор F : CD определяет соответствие на C говоря ж ~ грамм если только F(ж) = F(грамм). Функтор F затем множители через фактор-функтор CC/ ~ уникальным образом. Это можно рассматривать как "первая теорема об изоморфизме "для функторов.

Примеры

Связанные понятия

Факторы аддитивных категорий по модулю идеалов

Если C является аддитивная категория и нам потребуется соотношение конгруэнтности ~ на C быть аддитивным (т.е. если ж1, ж2, грамм1 и грамм2 морфизмы из Икс к Y с ж1 ~ ж2 и грамм1 ~грамм2, тогда ж1 + ж2 ~ грамм1 + грамм2), то факторкатегория C/ ~ также будет аддитивным, и фактор-функтор CC/ ~ будет аддитивным функтором.

Понятие аддитивного отношения конгруэнтности эквивалентно понятию двусторонний идеал морфизмов: для любых двух объектов Икс и Y дана аддитивная подгруппа я(Икс,Y) из HomC(Икс, Y) такой, что для всех жя(Икс,Y), грамм ∈ HomC(Y, Z) и час∈ HomC(W, Икс), у нас есть gfя(Икс,Z) и fhя(W,Y). Два морфизма в HomC(Икс, Y) конгруэнтны тогда и только тогда, когда их разность я(Икс,Y).

Каждый единый звенеть может рассматриваться как аддитивная категория с одним объектом, и фактор аддитивных категорий, определенных выше, совпадает в этом случае с понятием кольцо частного по модулю двустороннего идеала.

Локализация категории

В локализация категории вводит новые морфизмы, чтобы превратить некоторые морфизмы исходной категории в изоморфизмы. Это имеет тенденцию увеличивать количество морфизмов между объектами, а не уменьшать его, как в случае факторных категорий. Но в обеих конструкциях часто случается, что изоморфными становятся два объекта, которые не были изоморфны в исходной категории.

Факторы Серра абелевых категорий

В Фактор Серра из абелева категория по Подкатегория Серра является новой абелевой категорией, которая похожа на фактор-категорию, но также во многих случаях имеет характер локализации категории.

Рекомендации

  • Мак-Лейн, Сондерс (1998). Категории для рабочего математика. Тексты для выпускников по математике. 5 (Второе изд.). Springer-Verlag.