Explore relationships

Monoidal category

In mathematics, a monoidal category (or tensor category) is a categoryC{\displaystyle \mathbf {C} } equipped with a bifunctor⊗:C×C→C{\displaystyle \otimes :\mathbf {C} \times \mathbf {C} \to \mathbf {C} }that is associativeup to a natural isomorphism, and an objectI{\displaystyle I} that is both a left and right identity for ⊗{\displaystyle \otimes }, again up to a natural isomorphism.

Use + to expand a branch. Click a topic name to open its summary.