前も出したが、米田の補題からNat(hom(A,-),F)とF(A)の間に一対一対応が存在することが言える。
つまり、u ∈ F(A)とすれば、自然変換 θ ∈ Nat(hom(A,-),F) はuから完全に決まる。
このとき、各対象Bにおける自然変換θのコンポーネントθBの具体的表示はどのように書ける？
ただし、あたってもなにもあげない。