C: 局所的に小さな圏
A, B∈ob(C)
Hom(-, A) と Hom(-, B) との間に自然同型があれば、AとBは同型？