Monoidal Category - Examples

Examples

  • Any category with finite products is monoidal with the product as the monoidal product and the terminal object as the unit. Such a category is sometimes called a cartesian monoidal category. For example:
    • Set, the category of sets with the Cartesian product, one-element sets serving as the unit.
  • Any category with finite coproducts is monoidal with the coproduct as the monoidal product and the initial object as the unit.
  • R-Mod, the category of modules over a commutative ring R, is a monoidal category with the tensor product of modules ⊗R serving as the monoidal product and the ring R (thought of as a module over itself) serving as the unit. As special cases one has:
    • K-Vect, the category of vector spaces over a field K, with the one-dimensional vector space K serving as the unit.
    • Ab, the category of abelian groups, with the group of integers Z serving as the unit.
  • For any commutative ring R, the category of R-algebras is monoidal with the tensor product of algebras as the product and R as the unit.
  • The category of pointed spaces is monoidal with the smash product serving as the product and the pointed 0-sphere (a two-point discrete space) serving as the unit.
  • The category of all endofunctors on a category C is a strict monoidal category with the composition of functors as the product and the identity functor as the unit.
  • Bounded-above meet semilattices are strict symmetric monoidal categories: the product is meet and the identity is the top element.

Read more about this topic:  Monoidal Category

Famous quotes containing the word examples:

    Histories are more full of examples of the fidelity of dogs than of friends.
    Alexander Pope (1688–1744)

    It is hardly to be believed how spiritual reflections when mixed with a little physics can hold people’s attention and give them a livelier idea of God than do the often ill-applied examples of his wrath.
    —G.C. (Georg Christoph)

    No rules exist, and examples are simply life-savers answering the appeals of rules making vain attempts to exist.
    André Breton (1896–1966)