Epimorfio

Je teorio de kategorioj, epimorfioNova Plena Ilustrita Vortaro de Esperanto: epimorfi/o estas morfio, kiu ne perdigas informon per dekstra komponado. La koncepto de epimorfioj ĝeneraligas la koncepton de surjekcioj en la kategorio de aroj.

 Difino 
En kategorio , morfio  inter objektoj  estas epimorfio se kaj nur se la ĉi-suba kondiĉo estas vera:
Pri ajna objekto  kaj ajnaj du morfioj , se , do .

 Propraĵoj 
La mala koncepto de epimorfioj estas monomorfioj. Alivorte, la epimorfioj de iu kategorio estas precize la monomorfioj de la mala kategorio.

 Ekzemploj 
En la kategorio de aroj kaj bildigoj, la monomorfioj estas la surjekcioj.

En la kategorio de grupoj kaj grupaj homomorfioj, la monomorfioj estas la surjekciaj (kvocientigaj) homomorfioj.

En la kategorio de topologiaj spacoj kaj kontinuaj bildigoj, la monomorfioj estas la kontinuaj surjekcioj.

 Referencoj 

 Eksteraj ligiloj 


Kategorio:Teorio de kategorioj