What is Symmetric monoidal category?

In mathematics, a monoidal category is a category C...

In mathematics, specifically in the field known as category theory, a monoidal category where the monoidal product is the categorical product is called a cartesian monoidal category. Any category with...

In category theory, a branch of mathematics, a pullback is the limit of a diagram consisting of two morphisms f : X → Z and g : Y → Z with a common codomain. The pullback is...

In the mathematical field of category theory, the product of two categories C and D, denoted C × D and called a product category, is an extension of the concept...

In mathematics, the category Ab has the abelian groups as objects and group homomorphisms as morphisms. This is the prototype of an abelian category: indeed, every small abelian category can...

In mathematics, the category Rel has the class of sets as objects and binary relations as morphisms. A morphism R : A → B in this category is a relation between...

In category theory, a branch of mathematics, a closed category is a special kind of category. In a locally small category, the external hom maps a pair of objects to...

In mathematics, the category Grp has the class of all groups for objects and group homomorphisms for morphisms. As such, it is a concrete category. The study of this category...

In abstract algebra, the set of all partial bijections on a set X forms an inverse semigroup, called the symmetric inverse semigroup on X. The conventional notation for the symmetric...

In mathematics, the symmetric closure of a binary relation R {\displaystyle R} on...