Versio 17. joulukuuta 2016 kello 19.54 muokkaa Xyzäö (keskustelu \| muokkaukset) 18 981 muokkausta Ei muokkausyhteenvetoa ← Vanhempi muutos		Versio 22. helmikuuta 2017 kello 07.45 muokkaa kumoa Xyzäö (keskustelu \| muokkaukset) 18 981 muokkausta p p Uudempi muutos →
Rivi 19: :* [[Liitäntälaki]]: Jos {{nowrap\|1=''f'' : ''a'' → ''b''}}, {{nowrap\|1=''g'' : ''b'' → ''c''}} ja {{nowrap\|1=''h'' : ''c'' → ''d''}}, niin {{nowrap\|1=''h'' ∘ (''g'' ∘ ''f'') = (''h'' ∘ ''g'') ∘ ''f''}}, ja :* [[Identiteetti (matematiikka)\|Identiteetti]]: Jokaista objektia ''x'' kohti on olemassa sellainen morfismi {{nowrap\|1=1<sub>''x''</sub> : ''x'' → ''x''}}, jota sanotaan ''identiteettimorfismiksi'', että jokainen morfismi {{nowrap\|1=''f'' : ''a'' → ''b''}}, toteuttaa ehdot {{nowrap\|1=1<sub>''b''</sub> ∘ ''f'' = ''f'' = ''f'' ∘ 1<sub>''a''</sub>}}.<ref name=ensyklopedia>{{kirjaviite \| Nimeke = Otavan suuri Ensyklopedia, 7. osa (Juusten - Kemal) \| Sivu = ~~2792-2793~~2792–2793, art. Kategoriateoria \| Julkaisija = Otava \| Vuosi = 1978 \| Tunniste = ISBN 951-1-05070-2}}</ref> Voidaan todistaa, että jokaista objektia kohti on olemassa tasan yksi identiteettimorfismi. Rivi 50: == Lähteet == {{~~viitteet~~Viitteet}} ==Kirjallisuutta== * {{Kirjaviite \| Tekijä=Boyer, Carl \| Nimeke=Tieteiden kuningatar: Matematiikan historia osa II \| Sivut=~~874-876~~874–876 \| Suomentaja=Kimmo Pietiläinen \| Julkaisija=Art House \| Vuosi=1994 \| Tunniste=ISBN 951-884-158-6}}

Ero sivun ”Kategoriateoria” versioiden välillä