デカルト閉圏
圏
$C$ の対象からなる空を含む任意の有限族に対し,それらの直積対象が
圏
$C$ に存在するとき,デカルト閉圏という.
Mathematics is the language with which God has written the universe.