デカルトモノイド圏
デカルトモノイド圏はいくつも特別で重要な性質を持っている。たとえば対角射 Δx: x → x ⊗ x の存在や、任意の対象 x に対する添加 ex: x → I の存在などが挙げられる。計算機科学への応用において Δ を「データの複製」、e をデータ「消去」と見なすことができる。これらの射は任意の対象を余モノイドにする。実は、デカルトモノイド圏の任意の対象は一意的な方法で余モノイド(英語版)となる。