nLab CMon-enriched monoidal category

Contents

Contents

Idea

A CMon-enriched monoidal category is a monoidal category such that each hom-set is a commutative monoid and the tensor product on morphisms and the composition are bilinear.

Definition

In details, a CMon-enriched monoidal category is a monoidal category such that each hom-set 𝒞[A,B]\mathcal{C}[A,B] is a commutative monoid (we write f+gf + g for the sum of two morphisms f,g:ABf,g \colon A \rightarrow B and 00 for the zero ABA \rightarrow B), such that for every f,g:ABf,g \colon A \rightarrow B, h,i:CDh,i \colon C \rightarrow D and j,k:BCj,k \colon B \rightarrow C:

  • (f+g)h=fh+gh(f+g)\otimes h = f \otimes h + g \otimes h
  • f(h+i)=fh+fif \otimes (h+i) = f \otimes h + f \otimes i
  • 0f=f0=00 \otimes f = f \otimes 0 = 0
  • (f+g);j=f;j+g;j(f+g);j = f;j + g;j
  • f;(j+k)=f;j+f;kf;(j+k) = f;j + f;k
  • 0;f=f;0=00;f = f;0 = 0

Properties

Proposition

If a CMon-enriched monoidal category possesses the binary products, then they are biproducts and the category is thus semiadditive. The same goes if it possesses the binary coproducts.

Proposition

If a CMon-enriched monoidal category possesses a terminal object, then it is a zero object. The same goes if it possesses an initial object.

Examples

Proposition

Every semiadditive monoidal category is a CMon-enriched monoidal category.

Last revised on November 24, 2022 at 20:35:05. See the history of this page for a list of all contributions to it.