๐Ÿ“Monoidal category

tags
ยง Category Theory

Monoidal category (or tensor category) is a category CC with:

  • a Bifunctor: โŠ—:Cร—Cโ†’C\otimes: C \times C \to C called a tensor product

    • associative up to a natural isomorphism
  • an object II (or 11) that is both left and right identity of โŠ—\otimes (called unit object or identity object)

See also:

Backlinks