m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 参照用 一時参照用 「2次元の圏のための記号法」の続き、みたいな話。とある二重圏を記述しようとしてまして、基本方針は以前の記事のとおりです。 二重圏は圏の圏ではありませんが、DOTNの約束を流用して、縦1-セルをf, gなど、横1-セルをF, Gなどで表し、結合の記号も流用すると： f;g F*G α;β α*β ただし、諸般の事情から、文字と記号が少し変わります。 縦1-セルは f, g など 横1-セルは A, B など 2-セルは ψ, ρ など 横結合は、反図式順の併置 上の表が次のように変わります。 f;g BA ψ;ρ ρψ それで、ψ, ρ, τ という3つの2-セルに対して、縦結合 ψ;ρ と 横… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20151114%2F1447493314" 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> Hatena Blog https://hatena.blog 2015-11-14 18:28:34 rich https://m-hiyama.hatenablog.com/entry/20151114/1447493314 1.0 100%