Epimorfizm: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
Dodałem link do tematiu o surjekcji kiedy jest mowa o homomorfizmie typu "na". |
m drobne redakcyjne |
||
Linia 1:
[[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
: <math>g_1 \circ f = g_2 \circ f \Rightarrow g_1 = g_2.</math>
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]].
Wielu autorów książek o [[algebra|algebrze abstrakcyjnej]] i [[algebra uniwersalna|uniwersalnej]] definiuje '''epimorfizm''' jako [[homomorfizm]] „na” (surjektywny). Każdy epimorfizm w tym sensie algebraicznym jest epimorfizmem w sensie teorii kategorii, ale nie jest to prawdą we wszystkich kategoriach.
==Zobacz też==
* [[monomorfizm]]
* [[izomorfizm]]
[[Kategoria:Morfizmy]]
| |||