K31E1A545I5N38

01I3T14 16789A711

f is an isomorphism.

　　　　　　　　　　 __,r‐,ｧ-;‐-‐r､__　　　　　　　　 　　 　　 ／
　　　　　　 　　 r'´ 　V　　!　　!/　｀>-､　　　　　　　　　 /　　 エ　
　　　　　　 r‐「,＞- '､'"´￣＞‐- ､/! 　!ﾍ.､　　　　　　　i　　　 ロ
　　　　　　 ｧ'´　　　　　　　　　　　 ｀ヽ.!　 l 'ヽ.　 　　 　 |.　　　い
　　　 　　 /　　,:'　/ .;　 ;　 　 ;　　 i　　 Y´ 7　',　　 　　 | 　 　の
　　　　　 ,'　./　 ,'　/!　ハ　 / !　　ﾊ　　 !／　　!　　　∠　　　希
　　　 　 /　,' 　./,メ､_!/　 ﾚ'　_」_イ .!　　 ':,　　　|　　　　!　　　望
　　　 　,'　 !　 ﾉｲ´7ヽ!　 　'7´,'"'ヽ!ﾊ　　 ,.ゝ　　!　　　　',　　　？
　　　 ノﾍ　レ'ドﾉ _!_ｿ　 　 　 _!__ソ_ゝ!　ノ　　,'　!　　　　 ヽ､.,_________
　　　　　 )へ!,7.,.,.　 `　　　　　 　.,.,. /_ﾝ'i 　 /　.|
　　　　　　 /!,ﾊ,　　　　　　　 　　 　/iﾝ_ﾝ　 /　　',　　　　　　,. -──-
　　　　 _,.ｲン　!ヽ.　 　`　　 　　　,r'iﾝ　　／/ 　 ﾊ　　 　___/
　「`7r'_ン7　 ,'　 iヽ.　　　 　　,.ｨ7_ﾝi　_」=‐ｧ-､' 　〉 　　 ＼　　　視
　レﾍ」 ,.ｲ　ノi　,ﾊ__,i`=:;ｧﾆ´ __(_ﾝ-ｧ'´　／‐-'､! (　　　　　|　　　界
　/]　 〈rﾍヽ.,.へﾆゝ!_ｨｧ'-‐く__ﾝ＜]___ /　　　　ヽ..　　 　　 !　　　か
　ﾚ'　　　 ,i´___/:::/ /ム 　／|/::/ ／　　　 　　　　':,　　　　|.　 　 ら
　　　　　/,i__ｧ':::::i/　ハ／/:ﾉ」::ﾚ'/　　　　 　　　 　 ヽ.　　 .!.　　 消
　　　　,'! ／:::::rく　/ 　';_/:::::::::/､!　　　　　　 Red Ma.〉　　|.　 　エ ・
　　　〈 ｲ::::::::::ヽﾍﾆ7二>:::::::::::! ,ﾍ　　ヽ.　　　､_,..-､_!ﾝ　　　!.　　 ロ ・
　　　!_,ﾊ;:::::::::::::::､:::::::::::::::::::::::::Y_,.ゝ-､.,__,r'"´　　　ヽ.　　　',
　　 /`''-ゝ;::::::::::ﾊ:::::::::::::::::::::::'ﾚ':::/／　`ヽ. 　 　　　　ヽ.　　ヽ､.,_________
　／　　 ;7::::::::::::::::::::::::::::::::::::::::::::;'---‐=ｧ　,>''" 　　 　ﾉ
'　　　 r'/;::::::::::::::::::::::::::::::::::::::_,.イ!_,,...-‐ ''´　　　　_,,.. ''´
　 ,.イ_/iへ:::::!:::::::::::::::::::::::r'"ン/´,　　　　 __,,.. -''"
／r'7`ヽ､__＞=ﾆ二ﾆ=く_／」 ,! /　/ ,　ノ＼

In concrete categories, a function that has a right inverse is surjective. Thus in concrete categories, epimorphisms are often, but not always, surjective. The condition of being a surjection is stronger than that of being an epimorphism, but weaker than that of being a split epimorphism. In the category of sets, every surjection has a section, a result equivalent to the axiom of choice.

Free functors: Going in the opposite direction of forgetful functors are free functors. The free functor F : Set → Grp sends every set X to the free group generated by X. Functions get mapped to group homomorphisms between free groups. Free constructions exist for many categories based on structured sets. See free object.