Loterre: Mathematics: monoidal category

category theory > monoidal category

monoidal category

In mathematics, a monoidal category (or tensor category) is a category ${\\displaystyle \\mathbf {C} }$ equipped with a bifunctor
${\\displaystyle \\otimes :\\mathbf {C} \ imes \\mathbf {C} \ o \\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. The associated natural isomorphisms are subject to certain coherence conditions, which ensure that all the relevant diagrams commute.
(Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Monoidal_category)

http://data.loterre.fr/ark:/67375/PSR-TBD2GCB7-P

RDF/XML TURTLE JSON-LD Created 8/24/23, last modified 8/24/23

LOTERRE