2023-09-22から1日間の記事一覧
ストリング図を描く際に、ボックス〈ノード〉は基本的かつ重要な描画要素です。絵に描いたボックスに対応する組み合わせ構造はいったい何なのでしょう? ボックスは、色付きコレクションの視覚化なのだとみなすのが良さそうです。なので、この記事では色付き…
すべての小さい2-圏(厳密2-圏とは限らない)達を対象とする3-圏 $`{\bf 2Cat}`$ があります。$`\mathcal{K}, \mathcal{L} \in |{\bf 2Cat}|`$ のとき、ホム2-圏 $`{\bf 2Cat}(\mathcal{K}, \mathcal{L})`$ が構成できます。ホム2-圏のk-射を(2, k)-変換手〈…