Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
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
called a trace, satisfying the following conditions:
naturality in : for every and ,
naturality in : for every and ,
dinaturality in : for every and
vanishing I: for every , (with being the right unitor),
vanishing II: for every
superposing: for every and ,
yanking:
(where is the symmetry of the monoidal category).
Every admits a trace.
Given a traced monoidal category C, the Int construction generates the free (in some bicategorical sense) compact closure Int(C) of C.
Source officielle
À 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.