>>978
ああ、
ψ_X:G(X)=G(Y)→F(X)
ψ_Y:G(X)=G(Y)→F(Y)
ってすればいいってことですか
G(X)=G(Y)から出る射がF(X)かF(Y)どっちかしか向けないと勘違いしてました
ありがとうございます