nLab CMon-enriched symmetric monoidal category

Contents

Contents

Idea

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

This notion is often referred to as additive category or pre-additive category in works on differential categories or differential linear logic. However these terms classicaly assume more structure, the most obvious being an enrichment over abelian groups and not only commutative monoids. This is typical of the attitude in theoretical computer science where one often doesn’t assume the presence of negative numbers. In order to prevent confusion, we prefer using the name defended here.

Definition

In details, a CMon-enriched symmetric monoidal category is a symmetric 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:Aβ†’Bf,g \colon A \rightarrow B and 00 for the zero Aβ†’BA \rightarrow B), such that for every f,g:Aβ†’Bf,g \colon A \rightarrow B, h,i:Cβ†’Dh,i \colon C \rightarrow D and j,k:Bβ†’Cj,k \colon B \rightarrow C:

  • (f+g)βŠ—h=fβŠ—h+gβŠ—h(f+g)\otimes h = f \otimes h + g \otimes h
  • fβŠ—(h+i)=fβŠ—h+fβŠ—if \otimes (h+i) = f \otimes h + f \otimes i
  • 0βŠ—f=fβŠ—0=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

Last revised on November 24, 2022 at 16:32:00. See the history of this page for a list of all contributions to it.