Monomorfio

Je teorio de kategorioj, monomorfio[1] estas morfio, kiu ne perdigas informon per maldekstra komponado. La koncepto de monomorfioj ĝeneraligas la koncepton de enjekcioj en la kategorio de aroj.

DifinoRedakti

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ĵojRedakti

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

EkzemplojRedakti

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

ReferencojRedakti

Eksteraj ligilojRedakti