Ero sivun ”Kategoriateoria” versioiden välillä

[arvioimaton versio][arvioimaton versio]
Poistettu sisältö Lisätty sisältö
Ei muokkausyhteenvetoa
w, tämä lienee käytetympi muoto
Rivi 1:
Kategoriateoria on matematiikan osa-alue, jossa käsitellään abstraktilla tavalla matemaattisia rakenteita ja niiden välisiä suhteita. Se abstraktoi joukkoja ja funktioita.
 
Yksi yksinkertaisimmista esimerkestä kategoriasta on groupoidi[[grupoidi]], joka määritellään kategoriana, jonka morfismit ovat kääntyviä. Kategoriat esiintyvät nykyään useimmilla matematiikan aloilla, teoreettisessa tietojenkäsittelytieteessä ja matemaattisessa fysiikassa vektoriavaruuksien yhteydessä. Kategoriat esitteli ensimmäisinä Samuel Eilenberg ja Saunders Mac Lane vuosina 1942–45 algebrallisen topologian yhteydessä.
 
[[en:Category theory]]