Ero sivun ”Kategoriateoria” versioiden välillä

[katsottu versio][katsottu versio]
Poistettu sisältö Lisätty sisältö
määritelmät ja esimerkkejä (engl. Wikipediasta ja Otavan suuren Ensyklopedian artikkelista)
p –{{Yhteistyöartikkeli}}
Rivi 1:
{{Yhteistyöartikkeli}}
[[Tiedosto:Commutative diagram for morphism.svg|right|thumb|200px|Kategoria, jossa objekteina ovat ''X'', ''Y'' ja ''Z'', mmorfismeina ''f'', ''g'' ja ''g'' ∘ ''f'' ja kolmena identiteettimorfismina (jotka eivät näy kaaviossa) 1<sub>''X''</sub>, 1<sub>''Y''</sub> ja 1<sub>''Z''</sub>.]]
'''Kategoriateoria''' on [[Matematiikka|matematiikan]] osa-alue, jossa käsitellään abstraktilla tavalla matemaattisia rakenteita ja niiden välisiä suhteita. Se abstraktoi [[Joukko-oppi|joukkoja]] ja [[funktio]]ita.