ドメイン圏とテーブル代数 - (新) 檜山正幸のキマイラ飼育記 メモ編 で述べたアイデアは良さそうだ。まず、ドメイン指標Δから自由デカルト・モノイド圏 D = FreeCartMon(Δ) を作る。これは単純なデカルト・モノイド圏。それ以上のものではない。それとは別に…

ドメインタプル集合とそのあいだの関数からなるデカルト・モノイド圏をドメイン圏〈domain category〉と呼ぶ。ドメイン指標から生成される自由モノイド・デカルト圏のモデル〈代数〉がドメイン圏になる。ドメイン圏D上のテーブル代数〈table algebra〉とは、…