通常、米田の補題と呼ばれている定理は局所的〈local〉、あるいは点ごと〈point-wise〉の主張です。もっと広範囲・大規模な構造に関する主張も言えます。その広範囲・大規模な主張を、ここでは大域米田の補題〈global Yoneda lemma〉と呼んでおきましょう。…