m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 参照用 お正月に考えてみたことを記します。書くのにけっこう時間がかかりました。長いです。圏の基本事項を学んだ後にモナドの概念が導入されます。しかし、モナド概念を使って圏を調べるということも出来そうです。「圏論 → モナド論 → 圏論」という循環が生じますが、こんな循環はしょっちゅう生じる現象なので気にする必要はありません。狭義の圏論（あくまで狭義）とは、圏Catを調べることだと言っていいでしょう。Catには、圏、関手以外に自然変換も含まれるとして、2次元の圏と捉えましょう。2次元の圏Catよりも扱いやすかったり、豊富な構造を持つナニモノカをXCatとします。うまいXCatが見つかると、通常の圏論がより… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20170111%2F1484122584" title="モナド論をヒントに圏論をする（弱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/marsden-interchg.png Hatena Blog https://hatena.blog 2017-01-11 17:16:24 rich https://m-hiyama.hatenablog.com/entry/20170111/1484122584 1.0 100%