Proof of epimormphism?

  • Thread starter jhendren
  • Start date
  • #1
34
0
How would one show a morphism is an epimorphism iff it is surjective (ONTO)?
 

Answers and Replies

  • #2
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
4,162
322
What is your definition of epimorphism if it's not that it is a surjective map?
 
  • #3
22,089
3,294
What is your definition of epimorphism if it's not that it is a surjective map?
An epimorphism in category theory is a morphism ##f:X\rightarrow Y## such that if ##g,h:Y\rightarrow Z## are morphisms such that ##g\circ f = h\circ f##, then ##g=h##.

It is certainly not always true that an epimorphism is surjective. It depends on what category you work in. So, to the OP, you are talking about an epimorphism between which structures? Sets? Groups?
 
Top