积幺半范畴

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

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

1定义

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

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

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

2性质

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

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

3相关概念

术语翻译

积幺半范畴 • 英文 cartesian monoidal category • 德文 kartesische monoidale Kategorie • 法文 catégorie monoïdale cartésienne • 拉丁文 categoria monoides cartesiana