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
2021 Award
5,008
995
What is your definition of epimorphism if it's not that it is a surjective map?
 
  • #3
micromass
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
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?
 

Related Threads on Proof of epimormphism?

  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
7
Views
8K
  • Last Post
Replies
6
Views
1K
  • Last Post
Replies
7
Views
9K
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
18
Views
2K
  • Last Post
Replies
8
Views
5K
  • Last Post
Replies
1
Views
2K
Top