質問: ψの一意性は準同型定理に限らず、一般的に言えますよね? つまり、g⚪︎f=hでfが全射ならはgは一意 ψの一意性は準同型定理に限らず、一般的に言えますよね? つまり、g⚪︎f=hでfが全射ならはgは一意に定まる 写像f:a→b 写像g:b→c 写像h:a→cとする。
回答: また、何げにサラッと難しい話を... g⚪︎f=h ならば g が一意に定まるという性質を「f はエピ射である」と言います。 全射は必ずエピ射ですが、エピ射が全射であるとは限りません。 質問は全射はエピ射か?ということですから、答えは yes です。