Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proof of epimormphism?

  1. Sep 19, 2013 #1
    How would one show a morphism is an epimorphism iff it is surjective (ONTO)?
     
  2. jcsd
  3. Sep 19, 2013 #2

    Office_Shredder

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    What is your definition of epimorphism if it's not that it is a surjective map?
     
  4. Sep 19, 2013 #3
    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?
     
  5. Nov 17, 2013 #4
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook