Concept

Traced monoidal category

Résumé
In , a traced monoidal category is a category with some extra structure which gives a reasonable notion of feedback. A traced symmetric monoidal category is a C together with a family of functions :\mathrm{Tr}^U_{X,Y}:\mathbf{C}(X\otimes U,Y\otimes U)\to\mathbf{C}(X,Y) called a trace, satisfying the following conditions:
  • naturality in X: for every f:X\otimes U\to Y\otimes U and g:X'\to X, ::\mathrm{Tr}^U_{X',Y}(f \circ (g\otimes \mathrm{id}U)) = \mathrm{Tr}^U{X,Y}(f) \circ g
  • naturality in Y: for every f:X\otimes U\to Y\otimes U and g:Y\to Y', ::\mathrm{Tr}^U_{X,Y'}((g\otimes \mathrm{id}U) \circ f) = g \circ \mathrm{Tr}^U{X,Y}(f)
  • dinaturality in U: for every f:X\otimes U\to Y\otimes U' and g:U'\to U ::\mathrm{Tr}^U_{X,Y}((\mathrm{id}Y\otimes g) \circ f)=\mathrm{Tr}^{U'}{X,Y}(f \circ (\mathrm{id}_X\otimes g)
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés

Chargement

Cours associés

Chargement

Séances de cours associées

Chargement