Epimorfio
Je teorio de kategorioj, epimorfio[1] estas morfio, kiu ne perdigas informon per dekstra komponado. La koncepto de epimorfioj ĝeneraligas la koncepton de surjekcioj en la kategorio de aroj.
Difino
redaktiEn 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
redaktiLa mala koncepto de epimorfioj estas monomorfioj. Alivorte, la epimorfioj de iu kategorio estas precize la monomorfioj de la mala kategorio.
Ekzemploj
redaktiEn 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
redaktiEksteraj ligiloj
redakti- Epimorphism (angle). nLab.