Domain restriction subcategory functor について、functor: を定義できる。 Full subcategory Full inclusion functorのdomainのこと。 命題 subcategory について、 Codomain restriction full subcategory functor について、 を満たすとき、functor: を…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。