Traced monoidal category
http://dbpedia.org/resource/Traced_monoidal_category an entity of type: WikicatMonoidalCategories
In category theory, 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 symmetric monoidal category 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).
rdf:langString
rdf:langString
Traced monoidal category
xsd:integer
7984007
xsd:integer
1110745834
rdf:langString
In category theory, 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 symmetric monoidal category 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).
xsd:nonNegativeInteger
3086
