Epimorfizm: Różnice pomiędzy wersjami

[[Plik:Epimorphism-01.png|right|thumb|220px|[[Diagram przemienny]] epimorfizmu]]

'''Epimorfizm''' – w [[teoria kategorii|teorii kategorii]] [[morfizm]] <math>f\colon X \to Y</math> mający [[własność skracania|prawostronną własność skracania]] w tym sensie, że dla wszystkich morfizmów <math>g_1, g_2\colon Y \to Z</math> zachodzi

 

Epimorfizmy są analogami [[funkcja "na"|funkcji „na”]], lecz nie są one z nimi tożsame. [[Dualność (teoria kategorii)|Pojęciem dualnym]] do epimorfizmu jest [[monomorfizm]].

 

[[Kategoria:Morfizmy]]

 

[[bg:Епиморфизъм]]