Vidi fonton por Epimorfio

Je [[teorio de kategorioj]], '''epimorfio'''<ref>[[Nova Plena Ilustrita Vortaro de Esperanto]]: [http://vortaro.net/#epimorfio epimorfi/o]</ref> estas [[morfio]], kiu ne perdigas informon per dekstra komponado. La koncepto de epimorfioj ĝeneraligas la koncepton de [[surjekcio]]j en la kategorio de aroj.

== Difino ==
En [[kategorio (matematiko)|kategorio]] <math>\mathcal C</math>, [[morfio]] <math>f\colon X\to Y</math> inter objektoj <math>X,Y\in\operatorname{Ob}(\mathcal C)</math> estas '''epimorfio''' [[se kaj nur se]] la ĉi-suba kondiĉo estas vera:
:Pri ajna objekto <math>Z\in\operatorname{Ob}(\mathcal C)</math> kaj ajnaj du morfioj <math>g,g'\colon Y\to Z</math>, se <math>g\circ f= g'\circ f</math>, do <math>g=g'</math>.

== Propraĵoj ==
La mala koncepto de epimorfioj estas [[monomorfio]]j. Alivorte, la epimorfioj de iu kategorio estas precize la monomorfioj de la [[mala kategorio]].

== Ekzemploj ==
En la kategorio de [[aro]]j kaj [[bildigo]]j, la monomorfioj estas la [[surjekcio]]j.

En la kategorio de [[grupo (matematiko)|grupo]]j kaj [[grupa homomorfio|grupaj homomorfioj]], la monomorfioj estas la surjekciaj (kvocientigaj) homomorfioj.

En la kategorio de [[topologia spaco|topologiaj spacoj]] kaj kontinuaj bildigoj, la monomorfioj estas la kontinuaj surjekcioj.

== Referencoj ==
{{referencoj}}

== Eksteraj ligiloj ==
* {{Citaĵo el la reto | url = https://ncatlab.org/nlab/show/epimorphism | titolo = Epimorphism | verko = nLab | lingvo = en}}

[[Kategorio:Teorio de kategorioj]]