m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 昨日の記事で二重圏（double category）について触れました。二重圏は2次元の圏の一種です。2次元の圏は、n=2 の場合のn-圏（高次圏）です。高次圏（higher category）の定義は一般に面倒です。DblCat := Cat(Cat) のように、圏論特有の機械仕掛け（machinery）を使えばコンパクトな記述で済むこともありますが、これだと具体性がなく実感が湧きません。具体的に書こうとすると、演算も法則も多くてとても煩雑です。中庸（＝妥協案）を取ると、具体的な定義をだいたいは書いて、あとは端折る方法です。「以下同様、あとは分かるよね」とか「詳細は宿題」ってやり方。この記事… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20130118%2F1358474428" 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> http://www.chimaira.org/img3/double-2cell.gif Hatena Blog https://hatena.blog 2013-01-18 11:00:28 rich https://m-hiyama.hatenablog.com/entry/20130118/1358474428 1.0 100%