- #1

- 34

- 0

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

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- 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

2021 Award

- 5,008

- 995

What is your definition of epimorphism if it's not that it is a surjective map?

- #3

- 22,129

- 3,300

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?

- #4

- 43

- 2

Share: