let $f:A \rightarrow B$ and $g:B \rightarrow A$
given that $\;\;g \circ f = 1_A$
how can I prove that f is a monomorphism?
(I'm used to prove monomorphism in a different way, so I'm kind of lost)
let $f:A \rightarrow B$ and $g:B \rightarrow A$
given that $\;\;g \circ f = 1_A$
how can I prove that f is a monomorphism?
(I'm used to prove monomorphism in a different way, so I'm kind of lost)
Copyright © 2021 JogjaFile Inc.
Hint: Note that $$ f \circ \alpha = f \circ \beta \implies g \circ f \circ \alpha = g \circ f \circ \beta $$