すいません！！
また新たな疑問が浮かびました！

この命題は成り立つでしょうか？
f:X→Y
f:全射⇒∃g:Y→X　s.t. f。g=1_y

誰かお願いします。成り立たないですよね？