だから、昨日の問題は
fは全単射⇔∃g:Y→X　s.t. g。f=1_x f。g=1_yとなります！！