Search results
Results from the WOW.Com Content Network
The concept of monoidal category does not presume that values of such aggregate types can be taken apart; on the contrary, it provides a framework that unifies classical and quantum information theory. [1] 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 ...
In category theory, a branch of mathematics, a monoid (or monoid object, or internal monoid, or algebra) (M, μ, η) in a monoidal category (C, ⊗, I) is an object M together with two morphisms. μ: M ⊗ M → M called multiplication, η: I → M called unit, such that the pentagon diagram. and the unitor diagram commute.
If R is commutative, the category of left R-modules is symmetric monoidal. The latter example class includes the category of all vector spaces over a given field. Given a field k and a group (or a Lie algebra over k), the category of all k-linear representations of the group (or of the Lie algebra) is a symmetric monoidal category. Here the ...
Download as PDF; Printable version; ... Category theory is a mathematical theory that deals in an abstract way with mathematical ... Cartesian monoidal category;
Download as PDF; Printable version; In other projects Wikimedia Commons; Wikidata item; ... Center (category theory) Closed monoidal category; Compact closed category; D.
Print/export Download as PDF; Printable version; ... In category theory, a traced monoidal category is a category with some extra structure which gives a ...
Download as PDF; Printable version; ... Category theory is a general theory of ... John Baez has shown a link between Feynman diagrams in physics and monoidal ...
We have described closed monoidal categories as monoidal categories with an extra property. One can equivalently define a closed monoidal category to be a closed category with an extra property. Namely, we can demand the existence of a tensor product that is left adjoint to the internal Hom functor .