Monoidal Category 208 浏览 0关注

In mathematics, a monoidal category (or tensor category) is a category (mathematics)|category C equipped with a bifunctor :&otimes; : C &times; C &rarr; C which is associative, up to a natural isomorphism, and an object I which is both a left identity|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. The ordinary tensor product makes vector spaces, abelian groups, module (mathematics)|R-modules, or algebra (ring theory)|R-algebras, monoidal categories. Monoidal categories can be seen as a generalization of these and other examples. In category theory, monoidal categories can be used to define the c...
 相关概念
 主要的会议/期刊 ACS ENTCS TCS CORR MSCS J PURE ... ADVAN M... LICS