Epimorfizm: Różnice pomiędzy wersjami

 

==Epimorfizm konormalny==

 

Jeśli każdy epimorfizm danej kategorii jest epimorfizmem konormalnym, to nazywa się '''kategorią konormalną'''. Każda z kategorii [[kategoria (matematyka)|'''Gr''']], [[kategoria (matematyka)|'''Ab''']], [[kategoria (matematyka)|'''Vect''']] jest konormalna. Kojądro w tych kategoriach istnieje dla każdego morfizmu <math>\alpha: A \rightarrow B</math>. Jest ono równe [[grupa ilorazowa|grupie ilorazowej]] <math>B/G\;</math>, gdzie <math>G\;</math> jest najmniejszą [[podgrupa normalna|podgrupą normalną]] zawierającą <math>B/\alpha(A)\;</math>.