Ero sivun ”Kategoriateoria” versioiden välillä
| [arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
Ak: Uusi sivu: Kategoriateoria on matematiikan osa-alue, jossa käsitellään abstraktilla tavalla matemaattisia rakenteita ja niiden välisiä suhteita. Se abstraktoi joukkoja ja funktioita piirtä... |
ML (keskustelu | muokkaukset) Ei muokkausyhteenvetoa |
||
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, 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]]
| |||