「圏論におけるフレーム充填問題」で、二重圏や2-圏におけるフレーム充填問題の事例を挙げました。1-圏、つまり通常の圏でもフレーム充填問題とその解を考えることができます。通常の圏における重要な概念も、フレーム充填問題の“最良の解”として定義できま…

最近の記事「添加仮想二重圏」で、添加仮想二重圏〈augmented virtual double category〉を定義しました。添加仮想二重圏の2-射の形状をこの記事でまとめておきます。2-射のソースとターゲットは、プロ射のパスです。ただし、ターゲットのパスは長さ1以下で…