充満忠実であることは米田の補題からで、それはhom函手から表現可能関手への自然変換と普遍要素が
一対一対応している（普遍要素から自然変換が一意的に定まっている）からじゃん。