Representable functor
Representable functor
なるfunctor:
のこと。
Copower
Power - PSのdual:
のこと。
Copowers in sets
特に、 のとき
命題.1
Functor:
について、
証明
命題.2
Representable functor:
について、functor:
が定義できるならば、
なるfunctor:
のこと。
Power - PSのdual:
のこと。
特に、 のとき
Functor:
について、
Representable functor:
について、functor:
が定義できるならば、