m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「二重圏のコンパニオン／コンジョイントと米田の星」の冒頭で： 形式圏論を考える舞台として2-圏より二重圏のほうが良さそうな気がします。ちょっとした状況証拠をひとつ挙げます。 “二重圏を使った圏論”について考えているわけです。「コーナー、キンク、ニョロニョロ」に書いたように、完全に形式的な圏論じゃないですけど： ただし、完全に抽象的・公理的な構造としての二重圏を使うわけではなくて（それは抽象的過ぎるので）、二重圏の一例である“関手とプロ関手の二重圏”で考えます。小さい圏、関手、プロ関手と、それらから定義された二重射〈double morphism〉からなる二重圏を $`\mathbf{ProfD… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2025%2F04%2F07%2F132836" 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 2025-04-07 13:28:36 rich https://m-hiyama.hatenablog.com/entry/2025/04/07/132836 1.0 100%