ドミニオン／随伴系の例

セミナー モナド セオリー論 論理

まとめておく。

一般 線形代数 遷移系（モノイド） DB（圏） 述語論理
左域 C Set Set Graph Set
右域 D Vect Mon Cat Set
左関手 F FreeVect FreeMon FreeCat Id
右関手 U ForgetVect ForgetMon ForgetCat Id

線形代数はドミニオン意味パートが面白くない。述語論理はドミニオン構文パートがまったく面白くない。