>>591
自然同型η:hom(-,A)→hom(-,B)とする
射f:A→Bをf=η_A(id_A)
射g:B→Aをg=(η_B)^(-1)(id_B)
と定義すれば自然性によりgf=id_A,fg=id_Bとなり
AとBは同型