部分写像の圏から付点集合PtSetの圏を作って、PtSetで考えたほうがいいだろう。モナドのクライスリ圏だし。基本的な概念は： 直積とその射影 終対象 等値核（イコライザー） ファイバー積（引き戻し） 部分対象 真偽値と述語の射があって、部分対象分類子が…