デカルト閉圏

圏 $C$ の対象からなる空を含む任意の有限族に対し，それらの直積対象が 圏 $C$ に存在するとき，デカルト閉圏という．

Vita brevis, ars longa. Omnia vincit Amor.