Ero sivun ”Kategoriateoria” versioiden välillä

'''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 funktioita[[funktio]]ita.

YksiEsimerkki yksinkertaisimmista esimerkestäyksinkertaisesta 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 [[Vektoriavaruus|vektoriavaruuksien]] yhteydessä. Kategoriat esitteli ensimmäisinä [[Samuel Eilenberg]] ja [[Saunders Mac Lane]] vuosina 1942–451942–1945 [[Algebrallinen topologia|algebrallisen topologian]] yhteydessä.