Kategori teorisi: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
Değişiklik özeti yok |
Değişiklik özeti yok |
||
35. satır:
* [[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.
* [[otomorfizm]] eğer ''f'' hem bir endomorfizm ve
* [[retract (category theory)|çekilme]] eğer ''f''nin bir sağ tersi var, yani eğer burada bir morfizm {{nowrap|1=''g'' : ''b'' → ''a''}} ile {{nowrap|1=''f'' ∘ ''g'' = 1<sub>''b''</sub>}} varsa.
* [[section (category theory)|kesit]] eğer ''f'' in bir sol tersi var, yani eğer burada bir morfizm {{nowrap|1=''g'' : ''b'' → ''a''}} ile {{nowrap|1=''g'' ∘ ''f'' = 1<sub>''a''</sub>}} varsa .
|