In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor ⊗ : C × C → C 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.

Property Value
dbo:abstract
• In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor ⊗ : C × C → C 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. The ordinary tensor product makes vector spaces, abelian groups, R-modules, or R-algebras into 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 concept of a monoid object and an associated action on the objects of the category. They are also used in the definition of an enriched category. Monoidal categories have numerous applications outside of category theory proper. They are used to define models for the multiplicative fragment of intuitionistic linear logic. They also form the mathematical foundation for the topological order in condensed matter. Braided monoidal categories have applications in quantum information, quantum field theory, and string theory. (en)
dbo:thumbnail
dbo:wikiPageID
• 330604 (xsd:integer)
dbo:wikiPageRevisionID
• 729094360 (xsd:integer)
dbp:id
• monoidal+category
dbp:title
• Monoidal category
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
• In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor ⊗ : C × C → C 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. (en)
rdfs:label
• Monoidal category (en)
owl:differentFrom
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of