m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 モナド論をヒントに圏論をする（弱2-圏の割と詳しい説明付き）に補足をしておきます。Bが弱2-圏（双圏）として、B内のモナドからなる弱2-圏を次のように構成しました。 |MonadB|0 = (B内のモナドの全体) |MonadB|1 = (B内の左斜め加群の全体) |MonadB|2 = (B内の左斜め加群準同型の全体) MonadBの対象（0-射、0-セル）であるモナドはいいとして、1-射や2-射とその結合演算に関しては他の選択肢もあります。0-射であるモナドと1-射である左斜め加群はそのままとして、2-射を変更してみます。Mが対象X上のモナド、Nが対象Y上のモナドとします。F, G:X→Y… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20170112%2F1484193940" title="弱2-圏内のモナドに関する補足：モナドが作る2-圏の多様性 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://www.chimaira.org/img3/obltrans-law.png Hatena Blog https://hatena.blog 2017-01-12 13:05:40 rich https://m-hiyama.hatenablog.com/entry/20170112/1484193940 1.0 100%