記法 2-category: について と書くことにする。 2-category laws n-Category - PS の定義により (associativity) (left unitality) (right unitality) さらに、 の Bifunctoriality - PS より (interchange) (sliding) が成立する。 2-category of small cat…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。