# Differences

This shows you the differences between two versions of the page.

— |
epimorphisms_are_surjective [2010/08/20 20:37] (current) jipsen created |
||
---|---|---|---|

Line 1: | Line 1: | ||

+ | =====Epimorphisms are surjective===== | ||

+ | |||

+ | A morphism $h$ in a category is an \emph{epimorphism} if it is right-cancellative, i.e. for all | ||

+ | morphisms $f$, $g$ in the category $f\circ h=g\circ h$ implies $f=g$. | ||

+ | |||

+ | A function $h:A\to B$ is \emph{surjective} (or \emph{onto}) if $B=f[A]=\{f(a): a\in A\}$, | ||

+ | i.e., for all $b\in B$ there exists $a\in A$ such that $f(a)=b$. | ||

+ | |||

+ | \emph{Epimorphisms are surjective} in a (concrete) category of structures if the underlying function of every epimorphism is surjective. | ||

+ | |||

+ | If a concrete category has the [[amalgamation property]] and all epimorphisms are surjective, then it has the [[strong amalgamation property]][(E. W. Kiss, L. Márki, P. Pröhle, W. Tholen, \emph{Categorical algebraic properties. A compendium on amalgamation, congruence extension, epimorphisms, residual smallness, and injectivity}, Studia Sci. Math. Hungar., \textbf{18}, 1982, 79-140 [[http://www.ams.org/mathscinet-getitem?mr=85k:18003|MRreview]])] | ||

Trace: