４．米田の補題 いよいよ米田の補題の証明である。これは次のようになっている。局所的に小さい圏\(\mathcal{C}\)(任意の2対象\(A,B\)に対して\({\rm Hom(A,B)}\)の類が集合となっているような圏)について、共変\({\rm Hom}\)関手\(h^A:\mathcal{C} \rightar…