数学の特に圏論と呼ばれる分野において、デカルトモノイド圏（デカルトモノイドけん、英: cartesian monoidal category）あるいは短くデカルト圏は、モノイド積（テンソル積）が圏論的（直）積で与えられるモノイド圏を言う。有限積を持つ任意の圏（有限積圏）はデカルトモノイド圏...

デカルトモノイド圏と呼ぶ。 集合の圏 Set は直積をモノイド積、一元集合を単位対象とするモノイド圏になる。 小さい圏の圏 Cat は双圏（英語版）として、圏の直積（英語版） をモノイド積、単対象離散圏（対象も射もただ一つの圏）を単位対象とするモノイド圏である。 双対的に、有限余積を持つ圏...

は集合の圏における等式 XA×B = (XA)B を与える。これにより、集合の直積は配置集合をとる操作の左随伴となる。 数学的構造 直和 選択公理 テンソル積 ルネ・デカルト 空積 超積 [脚注の使い方] ^ a b 添字集合 Λ が空集合の場合、圏論においては任意の一元集合 1 が集合の圏...