質問: f◦idXf, idY◦ffを示してください。
回答: 実際に値を飛ばすしかないですよね。 いずれもxがf(x)に写ることを見ます。 ∀x∈X, (f∘id_X)(x)=f(id_X(x))=f(x) (id_Y∘f)(x)=id_Y(f(x))=f(x)