モナド達が作る圏(実際は2-圏)の上に、とあるモナドが載っています。ストリート・モナド〈Street monad〉っていうモナドです。ストリート・モナドは我々が普段扱っているモナド達より上のレベルに居るモナドの典型例ですね。ストリート随伴系〈Street adjunction〉から得られるモナドです。 内容: モナドに関する過去記事 随伴系とストリート・モナド バヴロヴィック/ヒューズの記法 ストリート随伴とストリート・モナド/コモナド おわりに モナドに関する過去記事 昨日〈2021-03-04〉「モナドの分解の比較定理」という記事を書きました。たまに、モナド・マイブームが来て、そのたびに幾つか記事を書きます。ここ4年くらいの記事を挙げます。日付が分かるように、生のURLを載せます。 https://m-hiyama.hatenablog.com/entry/20170111/14841