Comma functor
Comma category
二つのfunctor:
について、comma category:
のmorphismはこんな感じであった:
Comma functor
(と呼んでいいと思う)
つまり、naturality squareを上下にくっつけるfunctorを返す。 Morphismの実装部(青色)は変化していない。
Hom functor
特に、
のとき、集合をdiscrete categoryと考えると、hom functorのことである。