monoidal naturality
1Traced monoidal category — 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… …
2Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… …
3Coproduct — This article is about coproducts in categories. For coproduct in the sense of comultiplication, see Coalgebra. In category theory, the coproduct, or categorical sum, is the category theoretic construction which includes the disjoint union of sets …
