先ずはHomo functorの定義: h(-,C): Cop -> Set さらに： h(-): C -> (Cop -> Set) functor h(-) は米田埋め込み(Yoneda embedding)という名があり、Yと表記される。 米田の補題(Yoneda lemma)は下記となる： ∀F ∈ (Cop -> Set) と ∀A ∈ C, ∃ fA,F: ( h(-,A)…