Симметричная моноидальная категория (Vnbbymjncugx bkukn;gl,ugx tgmyikjnx)

Перейти к навигации Перейти к поиску

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

Формальное определение

[править | править код]

Симметричная моноидальная категория — это моноидальная категория, в которой для любых двух объектов выбран изоморфизм , причём , а также коммутирует следующая шестиугольная диаграмма:

  • Любая декартово замкнутая категория является симметричной замкнутой моноидальной. Это даёт такие примеры, как Set и Cat (категория множеств и категория малых категорий).
  • Векторные пространства над фиксированным полем k с тензорным произведением образуют моноидальную категорию. Отображение , определенное на разложимых элементах вида и продолженное по линейности, очевидным образом задаёт на ней структуру симметричной моноидальной категории.

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

[править | править код]

Моноидальная категория с заузливанием — это обобщение симметричной моноидальной категории; для неё уже не требуется, что . Однако вместо коммутативности одной шестиугольной диаграммы приходится требовать коммутативность двух:

В симметричном случае обе эти диаграммы также коммутируют, но коммутативность одной из них следует из коммутативности другой и свойства .

Название «моноидальная категория с заузливанием» (англ. braided monoidal category) произошло от группы кос (англ. braid group). Действительно, эти понятия глубоко связаны между собой. Для моноидальной категории с заузливанием, так же как и для обычной моноидальной категории, верна теорема о когерентности, утверждающая, что любая диаграмма, на стрелках которой написаны композиции и обратных к ним, коммутативна. Более точно, она утверждает, что в моноидальной категории с заузливанием B любые два естественно изоморфных функтора из Bn в B, построенные из применений к аргументам и скобок, естественно изоморфны единственным, каноническим образом. Каждой стрелке, на которой написано преобразование, составленное из указанных выше символов, можно сопоставить элемент группы кос (например, преобразованию сопоставляется «перекрутка» двух нитей, легко видеть, что ). Оказывается, что два таких функтора естественно изоморфны, если им соответствует один и тот же элемент группы кос.

Симметричные моноидальные функторы

[править | править код]

Моноидальный функтор F между симметричными моноидальными категориями C и D называется симметричным, если соответствующее ему естественное преобразование коммутирует с , то есть для любых A, B категории C коммутирует следующая диаграмма:

300

Симметричные моноидальные естественные преобразования

[править | править код]

Моноидальное естественное преобразование между моноидальными функторами и между моноидальными категориями:  — это естественное преобразование , такое что коммутируют следующие две диаграммы:

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

Моноидальная эквивалентность

[править | править код]

C и D — симметрично моноидально эквивалентные категории, если существуют симметричные моноидальные функторы , и симметричные моноидальные естественные изоморфизмы и .

Маклейн доказал теорему о том, что любая симметричная моноидальная категория моноидально (симметрично) эквивалентна строгой моноидальной (и симметричной) категории.

Также как определяется 2-категория[англ.] малых категорий, можно определить 2-категории малых моноидальных категорий и малых симметричных моноидальных категорий, с соответствующими функторами и естественными преобразованиями.

Примечания и ссылки

[править | править код]