デカルト閉圏

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


Mathematics is the language with which God has written the universe.





















鍵オートマトン - デカルト閉圏 - 自由モノイド - 自由ベクトル - アフィン空間