generated at
デカルト圏
デカルトモノイダル圏
cartesian monoidal category

有限直積を持つ圏のこと
二項直積をもち
終対象をもつ圏

直積をモノイダル積
終対象を単位対象として
モノイダル圏になる

gen モノイダル圏
Refデカルトモノイド圏 - Wikipedia
dual 余デカルト圏