>>216
α: G(A)→Aから、α: τF(A)→G(A)→Aが、定まるのは分かったのですが、射
F(A)
↓
F(B) はどのように定まるのですか