Обогащённая категория

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

Обогащённая категория, морфизмы которой принадлежат моноидальной категории \mathcal M, называется обогащённой категорией над \mathcal M, или \mathcal M-категорией.

Определение[править | править исходный текст]

Пусть (\mathcal M , \otimes , I , \alpha, \lambda, \rho) — моноидальная категория. Тогда обогащённая категория C над \mathcal M состоит из:

  • класса Ob (C) — объектов \mathcal C,
  • объектов C(a,b) категории \mathcal M для каждой пары объектов a,b \in Ob(C),
  • стрелок \mathrm{id}_a: I \to C(a, a) в \mathcal M, выбирающей единицу для каждого объекта a \in Ob(C),
  • стрелок \circ_{abc}: C (b, c) \otimes C(a, b) \to C(a, c) в \mathcal M, обозначающей композицию для каждой тройки объектов a,b,c \in Ob(C),

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

Math-enriched category associativity.svg

Вторая и третья диаграммы соответствуют свойствам единицы:

Math-enriched category identity1.svg

и

Math-enriched category identity2.svg

Примеры обогащённых категорий[править | править исходный текст]

Связь с моноидальными функторами[править | править исходный текст]

Если существует моноидальный функтор из \mathcal M в \mathcal N, то любую категорию, обогащённую над \mathcal M, можно рассматривать как категорию, обогащённую над \mathcal N. Каждая моноидальная категория \mathcal M имеет моноидальный функтор \mathcal M (I, \mbox{-}), поэтому в основе любой обогащённой категории лежит обычная категория. Во многих примерах функтор из моноидальной категории в обычную является строгим, и тогда категория, обогащенная над \mathcal M, может рассматриваться как обычная категория с добавленной структурой.

Обогащённые функторы[править | править исходный текст]

Обогащённый функтор — обобщение понятия обычного функтора, а именно, функтор, сохраняющий дополнительную структуру обогащённой категории.

Если C и D — категории, обогащённые над \mathcal M, то \mathcal M-обогащённый функтор T: C \to D — это отображение, сопоставляющее каждому объекту C объект D и каждой паре объектов a, b \in Ob(C) — морфизм в \mathcal M: T_{ab}: C(a,b) \to D(T(a), T(b)), удовлетворяющий обогащённым версиям свойств функтора. А именно, должна коммутировать диаграмма:

Enrichedidentity.png

что соответствует уравнению:

T_{aa}\circ \operatorname{id}_a=\operatorname{id}_{T(a)},

где I — единица \mathcal M. Это аналог свойства обычного функтора F(\mathrm{id}_a) = \mathrm{id}_{F(a)}. Также должна коммутировать диаграмма:

Enrichedmult.png

соответствующая правилу: F(fg)=F(f)F(g) для обычных функторов.

Литература[править | править исходный текст]

  • Kelly, G.M. Basic Concepts of Enriched Category Theory (англ.) // Reprints in Theory and Applications of Categories. — 2005. — № 10.
  • Маклейн С. Глава 7. Моноиды // Категории для работающего математика = Categories for the working mathematician / Пер. с англ. под ред. В. А. Артамонова. — М.: Физматлит, 2004. — С. 188—221. — 352 с. — ISBN 5-9221-0400-4