Monomorfio

Je teorio de kategorioj, monomorfioNova Plena Ilustrita Vortaro de Esperanto: monomorfi/o estas morfio, kiu ne perdigas informon per maldekstra komponado. La koncepto de monomorfioj ĝeneraligas la koncepton de enjekcioj en la kategorio de aroj.

 Difino 
En kategorio , morfio  inter objektoj  estas monomorfio 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 monomorfioj estas epimorfioj. Alivorte, la monomorfioj de iu kategorio estas precize la epimorfioj de la mala kategorio.

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

En la kategorio de grupoj kaj grupaj homomorfioj, la monomorfioj estas la enjekciaj homomorfioj.

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

 Referencoj 

 Eksteraj ligiloj 


Kategorio:Teorio de kategorioj