デカルト圏
デカルトモノイダル圏
cartesian monoidal category
有限直積を持つ圏のこと
二項直積をもち
終対象をもつ圏
直積をモノイダル積
終対象を単位対象として
モノイダル圏になる
gen.icon モノイダル圏
reference.iconデカルトモノイド圏 - Wikipedia
dual.icon 余デカルト圏