PS

Composite functor

Composite functor

任意の二つのfunctor:

について、composite functor:

を次のように定義できる:

(この はobjectまたはmorphismで、まとめて定義した。)

参考文献