Enriched functor -category について、-functor: とは、-morphism の族: で、-functoriality: を満たすもの(添字略)。 Identity enriched functor -category について identity -functor: を次のように定義できる: Composite enriched functor -functor: に…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。