>>536
類体論は?
米田の埋め込み(Yoneda embedding)、米田の補題(Yoneda lemma)は?