bn:02663522n
Noun Concept
Categories: Articles with short description, All articles with style issues, Monoidal categories
EN
monoidal category  Algebra/set analogy  Category of endofunctors  Free strict monoidal category  identity object
EN
In mathematics, a monoidal category is a category C {\displaystyle \mathbf {C} } equipped with a bifunctor ⊗ : C × C → C {\displaystyle \otimes :\mathbf {C} \times \mathbf {C} \to \mathbf {C} } that is associative up to a natural isomorphism, and an object I that is both a left and right identity for ⊗, again up to a natural isomorphism. Wikipedia
Definitions
Relations
Sources
EN
In mathematics, a monoidal category is a category C {\displaystyle \mathbf {C} } equipped with a bifunctor ⊗ : C × C → C {\displaystyle \otimes :\mathbf {C} \times \mathbf {C} \to \mathbf {C} } that is associative up to a natural isomorphism, and an object I that is both a left and right identity for ⊗, again up to a natural isomorphism. Wikipedia