Traced monoidal category
id:
traced-monoidal-category-294-1713009
title:
Traced monoidal category
text:
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 X : for every f : X ⊗ U → Y ⊗ U and g : X ′ → X , naturality in Y : for every f : X ⊗ U → Y ⊗ U and g : Y → Y ′ , dinaturality in U : for every f : X ⊗ U → Y ⊗ U ′ and g : U ′ → U vanishing I:
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Traced_monoidal_category
date created:
date modified:
2022-09-17T07:41:21Z
main entity:
{"identifier":"Q17104253","url":"https://www.wikidata.org/entity/Q17104253"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/b/bc/Trace_diagram_naturality_1.svg","width":700,"height":250}
fields total:
13
integrity:
14