Monoidal category

Strict monoidal category

A strict monoidal category is a monoidal category in which the associator , left-unitor , and right-unitor are all the identity natural transformation. cat Thus a strict monoidal category is precisely a Monoid object in Category of small categories. Explicitly, a strict monoidal category is equipped with

1. a functor called the tensor product; and
2. an object called the tensor unit

such that

for any object and

for any objects .

Examples

TABLE without id
  ("[[" + file.path + "|" + categoryName + "]]") as name,
  default(symbol, mathLink) as symbol,
  object,
  morphism,
  tensorProduct as product,
  tensorUnit as unit,
  arguments
FROM #monoidal-category/strict

---

tidy | en | sembr