対応

まだハッキリしないのだけど。

集合と論理	圏論
ブール代数Ω	集合圏Set
真偽値	集合
含意	写像
集合の圏	圏の圏
ベキ集合	前層
シングルトン埋め込み	米田埋め込み
ベキベキ集合	前層の前層
合併	？
ベキ集合モナド	前層モナド？
集合値写像	前層への関手
ブール値行列	プロ関手
∃	コエンド∫
Rel	Prof
正方行列	自己プロ関手
正方行列モノイド	自己プロ関手圏
AA ≦ A, I≦A	アロー？