Прослеженная моноидальная категория - Traced monoidal category
В теория категорий, а отслеживаемая моноидальная категория это категория с некоторой дополнительной структурой, которая дает разумное представление об обратной связи.
А отслеживаемая симметричная моноидальная категория это симметричная моноидальная категория C вместе с семейством функций

называется след, удовлетворяющие следующим условиям:
- естественность в
: для каждого
и
,

Естественность в X
- естественность в
: для каждого
и
,

Естественность в Y
- неестественность в
: для каждого
и 

Неестественность в U
- исчезающий I: для каждого
, (с
будучи правильным объединителем),

Исчезновение I
- исчезающий II: для каждого


Исчезновение II
- наложение: для каждого
и
,

Наложение

(куда
- симметрия моноидальной категории).
Янкинг
Характеристики
- Каждый компактная закрытая категория допускает след.
- Учитывая прослеженную моноидальную категорию C, то Int строительство порождает свободное (в некотором бикатегорическом смысле) компактное замыкание Int (C) из C.
Рекомендации