Monoidal category

In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor

which is associative up to a natural isomorphism, and an object I which is both a left and right identity for ⊗, again up to a natural isomorphism. The associated natural isomorphisms are subject to certain coherence conditions which ensure that all the relevant diagrams commute. In a monoidal category, analogs of usual monoids from abstract algebra can be defined using the same commutative diagrams. In fact, usual monoids are exactly the monoid objects in the monoidal category of sets with Cartesian product.

单词	Internal product
释义	Internal product 英语百科 Monoidal category In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor which is associative up to a natural isomorphism, and an object I which is both a left and right identity for ⊗, again up to a natural isomorphism. The associated natural isomorphisms are subject to certain coherence conditions which ensure that all the relevant diagrams commute. In a monoidal category, analogs of usual monoids from abstract algebra can be defined using the same commutative diagrams. In fact, usual monoids are exactly the monoid objects in the monoidal category of sets with Cartesian product.
随便看	cut through the red tape的意思 cut thru的意思 cuttica的意思 cut tide的意思 cuttie的意思 cutty的意思 cuttie的意思 cutty的意思 cuttig action的意思 Cut time的意思 cuttin的意思 cutting的意思 cutting的意思 cutting abrasion的意思 cutting absorbent gauze的意思 cutting accuracy的意思 cutting across的意思 cutting action的意思 cutting action lever的意思 cutting action of slag的意思 cutting a deal的意思 cutting age的意思 Cutting Agent的意思 cutting ahead的意思 cutting algorithm的意思

Internal product

Monoidal category