「最近のモナド論の概観と注意事項 1/2」の続きです。前回記事で導入した言葉や記号は、この記事でも使います。内容： ところで、なんでモナド？ モナド論の主題：モナドと随伴系 色々な厳密2-圏内のモナドと随伴系 順序集合の圏 Ord 関係の圏 Rel スパンの…