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

in category theory, a closed monoidal category (or a monoidal closed category) is a category that is both a monoidal category and a closed category in...

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...

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 monoid (or monoid object, or internal monoid, or algebra) (M, μ, η) in a monoidal category (C, ⊗, I) is...

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...

as category theory, a monoidal category where the monoidal ("tensor") product is the categorical product is called a cartesian monoidal category. Any...

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

Closed monoidal category Braided monoidal category Topos Category of small categories Semigroupoid Comma category Localization of a category Enriched...

In category theory, monoidal functors are functors between monoidal categories which preserve the monoidal structure. More specifically, a monoidal functor...