m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 Cが2次元の圏であって、対象、射、2-射（2-セル）を持っているとします。このとき、2-射を忘れて対象と射だけを考えることに何の問題もありません。Cを通常の（1次元の）圏とみなせます。では、対象を忘れて射と2-射だけを考えたいときはどうでしょう。射の集合と2-射の集合を単純に取り出しただけでは圏にはなりません。次元が低い構成素を削り落とすには何らかの工夫が必要です。そんな工夫のひとつとして、高次圏の台となる構造（下部構造）を、高次の箙〈えびら〉を使って表現してみます。高次の箙は、高次圏（higher category, n-category）を記述する便利な言葉を提供します。内容： 反射的箙 … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20161130%2F1480487247" 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/img2/adjacent.gif Hatena Blog https://hatena.blog 2016-11-30 15:27:27 rich https://m-hiyama.hatenablog.com/entry/20161130/1480487247 1.0 100%