>>600 ありがとうございます、理解できました.
追加で申し訳ないのですが、これがエピ射だったら何が言えるか分かりますか?
充満関手(射の写像が全射)になるとか?

問の原文
3.9. Show that the monomorphism in Cat are precisely the faithful functors. What are the epimorphisms?