I'm starting to work through Algebra: Chapter 0, and I'm fumbling a bit. One of the problems in the first chapter asks me to formulate a definition for epimorphism based on having seen the definition for monomorphism, and then to tie it to surjectivity as monomorphism is related to injectivity. This is still early in the book, so I'm only hanging out in the world of sets and functions.
Proposed definition: A function $f:A\rightarrow B$ is epic if for all $Z$ and all $\alpha, \alpha ':B\rightarrow Z$, $\alpha \circ f=\alpha' \circ f\implies\alpha=\alpha'$.
With this definition in mind I want the statement that $f$ is epic iff $f$ is surjective. Showing surjectivity implies epic wasn't hard so long as I know surjective means $f$ has a right inverse. But I'm getting stuck with the other direction. I know I'm probably supposed to find some special $\alpha$'s to help my cause but I'm coming up short…
Best Answer
Let $Z = \{ 0,1 \}$; then let $\alpha = \chi_{f(A)}$ be the characteristic function of the image $f(A)$ of $f$ and let $\alpha'$ be the constant function with value $1$. If $f$ is epic, what does this tell you?