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

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    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
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Proof of epimormphism?
  1. Proofs . . . (Replies: 5)

  2. Proof By Induction (Replies: 0)

  3. Proof that a=a (Replies: 3)

  4. Uniqueness proof (Replies: 2)

Loading...