In category theory, a traced monoidal category is a category with some extra structure which gives a reasonable notion of feedback. A traced symmetric...

In mathematics, a monoidal category (or tensor category) is a category C {\displaystyle \mathbf {C} } equipped with a bifunctor ⊗ : C × C → C {\displaystyle...

mathematics, a commutativity constraint γ {\displaystyle \gamma } on a monoidal category C {\displaystyle {\mathcal {C}}} is a choice of isomorphism γ A ,...

In category theory, a branch of mathematics, a symmetric monoidal category is a monoidal category (i.e. a category in which a "tensor product" ⊗ {\displaystyle...

partial trace of linear transformations that is the subject of Joyal, Street, and Verity's notion of Traced monoidal category. A traced monoidal category is...

generalization of the partial trace, see traced monoidal categories. If A is a general associative algebra over a field k, then a trace on A is often defined...

idea of a category by replacing hom-sets with objects from a general monoidal category. It is motivated by the observation that, in many practical applications...

notion of the center of a monoid, group, or ring to a category. The center of a monoidal category C = ( C , ⊗ , I ) {\displaystyle {\mathcal {C}}=({\mathcal...

more detail, this means that a category C is pre-abelian if: C is preadditive, that is enriched over the monoidal category of abelian groups (equivalently...

In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products...