- #1

- 34

- 0

How would one show a morphism is an epimorphism iff it is surjective (ONTO)?

- Thread starter jhendren
- Start date

- #1

- 34

- 0

How would one show a morphism is an epimorphism iff it is surjective (ONTO)?

- #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

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##.What is your definition of epimorphism if it's not that it is a surjective map?

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?

- #4

- 43

- 2