Kategori teorisi: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
== Kaynakça == {{kaynakça}} |
Değişiklik özeti yok |
||
32. satır:
* [[monomorfizm]] (veya ''monik'') eğer {{nowrap|1=''f'' ∘ ''g''<sub>1</sub> = ''f'' ∘ ''g''<sub>2</sub>}} vurgusu {{nowrap|1=''g''<sub>1</sub> = ''g''<sub>2</sub>}} tüm {{nowrap|1=''g''<sub>1</sub>, ''g<sub>2</sub>'' : ''x'' → ''a''}} morfizmler için.
* [[epimorfizm]] (veya ''epik'') eğer {{nowrap|1=''g''<sub>1</sub> ∘ ''f'' = ''g''<sub>2</sub> ∘ ''f''}} vurgusu {{nowrap|1=''g<sub>1</sub>'' = ''g<sub>2</sub>''}} tüm {{nowrap|1=''g<sub>1</sub>'', ''g<sub>2</sub>'' : ''b'' → ''x''}} morfizmler için.
* ''bimorfizm'' eğer ''f'' hem epik ve
* [[izomorfizm]] eğer burada bir morfizm {{nowrap|1=''g'' : ''b'' → ''a''}} var böylece {{nowrap|1=''f'' ∘ ''g'' = 1<sub>''b''</sub> ve ''g'' ∘ ''f'' = 1<sub>''a''</sub>}}.<ref>Note that a morphism that is both epic and monic is not necessarily an isomorphism! An elementary counterexample: in the category consisting of two objects ''A'' ve ''B'', özdeş biçimler, ve from ''A'' dan ''B''ye bir tek morfizm ''f'', ''f'' is both epic and monic but is not bir isomorphism.</ref>
* [[endomorfizm]] eğer {{nowrap|1=''a'' = ''b''}}. ise end(''a'') ''a''nın endomorfizminin sınıfını ifade eder.
|