Прослеженная моноидальная категория - Traced monoidal category
В теория категорий, а отслеживаемая моноидальная категория это категория с некоторой дополнительной структурой, которая дает разумное представление об обратной связи.
А отслеживаемая симметричная моноидальная категория это симметричная моноидальная категория C вместе с семейством функций
![{displaystyle mathrm {Tr} _ {X, Y} ^ {U}: mathbf {C} (Xotimes U, Yotimes U) o mathbf {C} (X, Y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f34bc5c51b0bfdbf51896c89735593d521504237)
называется след, удовлетворяющие следующим условиям:
- естественность в
: для каждого
и
,
![{displaystyle mathrm {Tr} _ {X ', Y} ^ {U} (fcirc (gotimes mathrm {id} _ {U})) = mathrm {Tr} _ {X, Y} ^ {U} (f) circ грамм}](https://wikimedia.org/api/rest_v1/media/math/render/svg/574b2ef18351abc7c95601e9a5940ff4bd4c8853)
Естественность в X
- естественность в
: для каждого
и
,
![{displaystyle mathrm {Tr} _ {X, Y '} ^ {U} ((gotimes mathrm {id} _ {U}) circ f) = gcirc mathrm {Tr} _ {X, Y} ^ {U} (f )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8b3a8b06f0a60e5b07a3e03c1c7195992584e41)
Естественность в Y
- неестественность в
: для каждого
и ![{displaystyle g: U 'o U}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18677e351a37f17fba071a744978bba73770a084)
![{displaystyle mathrm {Tr} _ {X, Y} ^ {U} ((mathrm {id} _ {Y} otimes g) circ f) = mathrm {Tr} _ {X, Y} ^ {U '} (fcirc (mathrm {id} _ {X} otimes g))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3191c5331b7bb229c1476489f77a6857f4dfe5e)
Неестественность в U
- исчезающий I: для каждого
, (с
будучи правильным объединителем),
![{displaystyle mathrm {Tr} _ {X, Y} ^ {I} (f) = ho _ {Y} circ fcirc ho _ {X} ^ {- 1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a098ba0f0136244d84d4b7f539dd7458f06bff1c)
Исчезновение I
- исчезающий II: для каждого
![{displaystyle f: Xotimes Uotimes V o Yotimes Uotimes V}](https://wikimedia.org/api/rest_v1/media/math/render/svg/758fa65f1b4e6013044c393dfc4ddeae35729270)
![{displaystyle mathrm {Tr} _ {X, Y} ^ {U} (mathrm {Tr} _ {Xotimes U, Yotimes U} ^ {V} (f)) = mathrm {Tr} _ {X, Y} ^ { Uotimes V} (f)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1030be5ccd8545e1d6ac452ea029159b8fdc72a9)
Исчезновение II
- наложение: для каждого
и
,
![{displaystyle gotimes mathrm {Tr} _ {X, Y} ^ {U} (f) = mathrm {Tr} _ {Wotimes X, Zotimes Y} ^ {U} (gotimes f)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49e1cde217194c4cb9dbd564e9e64680420fab13)
Наложение
![{displaystyle mathrm {Tr} _ {X, X} ^ {X} (gamma _ {X, X}) = mathrm {id} _ {X}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1c9712d0e59f91f06433bf2a16e1ddc396130c1)
(куда
- симметрия моноидальной категории).
Янкинг
Характеристики
- Каждый компактная закрытая категория допускает след.
- Учитывая прослеженную моноидальную категорию C, то Int строительство порождает свободное (в некотором бикатегорическом смысле) компактное замыкание Int (C) из C.
Рекомендации