Enriched extranaturality symmetric monoidal category: -functor: および -morphism の族: について、-extranaturality とは を満たすこと。 の場合も同様(図を反転する)。 Enriched (co)wedge 上記のような をそれぞれ -wedge、-cowedge と言う(言えると…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。