Restriction of functors
Domain restriction
- subcategory
- functor
について、functor:
を定義できる。
Full subcategory
Full inclusion functorのdomainのこと。
命題
- subcategory
について、
Codomain restriction
- full subcategory
- functor
について、
を満たすとき、functor:
を定義できる。
について、functor:
を定義できる。
Full inclusion functorのdomainのこと。
について、
について、
を満たすとき、functor:
を定義できる。