2013-04-18 Composite functor 定義 Functor Composite functor 任意の二つのfunctor: について、composite functor: を次のように定義できる: (この はobjectまたはmorphismで、まとめて定義した。) 参考文献 isbn:0521283043