このブログの更新は X(旧Twitter)アカウント @m_hiyama で通知されます。 Follow @m_hiyama
ご連絡は上記 X アカウントに DM にてお願いします。
1-圏(通常の圏)のなかでスパンを考えた場合、スパンのあいだの射の定義は簡単です。2-圏のなかだと、スパンの射の定義も難しくなります。「環境付き計算と依存アクテゴリー 1/n // 2-圏内のスパンのあいだの射」で述べたように、1-圏と2-圏では事情が違っ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。