2016年1月7日木曜日

デカルト閉圏

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

0 件のコメント:

コメントを投稿

注: コメントを投稿できるのは、このブログのメンバーだけです。