Epimorfio

El Vikipedio, la libera enciklopedio

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[redakti | redakti fonton]

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[redakti | redakti fonton]

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

Ekzemploj[redakti | redakti fonton]

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 bildigooj, la monomorfioj estas la kontinuaj surjekcioj.

Referencoj[redakti | redakti fonton]

Eksteraj ligiloj[redakti | redakti fonton]