余积幺半范畴

在范畴论中, 余积幺半范畴是指由余积定义的幺半范畴.

余积幺半范畴的对偶概念是积幺半范畴.

1定义

定义 1.1. 余积幺半范畴是指幺半范畴 $(\mathcal{C},\bigsqcup )$, 满足以下条件:

•	$\mathcal{C}$ 具有有限余积.

•	幺半范畴结构 $\bigsqcup :\mathcal{C}\times \mathcal{C}\to \mathcal{C}$ 由 $\mathcal{C}$ 中的二元余积给出.

2性质

•	余积幺半范畴中, 单位对象是始对象.

•	余积幺半范畴是对称幺半范畴.

3相关概念

术语翻译

余积幺半范畴 • 英文 cocartesian monoidal category • 德文 kokartesische monoidale Kategorie • 法文 catégorie monoïdale cocartésienne