m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 僕らがよく知っている圏の定義に基づく議論を、「古典圏論」とか「圏の古典論」とか呼ぶ人がいます。確かに、モナドとかクライスリ圏とか言ってみても半世紀ほども前に出来た理論ですから、古典なんかもしれません。じゃ、モダンな圏論とは何かというと、2つの方向で圏の概念を拡張して、それを扱います。 高次元化する。 定義をゆるくする。 弱n-圏（weak n-category）の概念は、高次元化とゆるい定義の両方を適用して、（古典的な）圏を一般化した概念です。当然ながら、古典圏論に比べて格段に難しく、なかなか歯が立ちません。しょうがないので、ワタシャ弱n-圏の一般論はあきらめることにしますが、その特殊例、特に… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20100520%2F1274324275" title="モダンな圏論の用語法に悩む - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2010-05-20 11:57:55 rich https://m-hiyama.hatenablog.com/entry/20100520/1274324275 1.0 100%