Teorija kategorij

matematično področje

Teorija kategorij[1] je področje matematike, ki obravnava kategorije in preslikave med njimi, in tako formalizira matematično strukturo ter njene koncepte s pomočjo označenega usmerjenega grafa, imenovanega kategorija, katerega točke se imenujejo objekti, označene usmerjene povezave pa puščice (ali morfizmi). Kategorija ima dve osnovni značilnosti:

Shematična komutativna predstavitev kategorije z objekti X, Y, Z in morfizmi f, g in gf. (Trije morfizmi identitet kategorije 1X, 1Y in 1Z bi se, če bi se jih prikazalo eksplicitno, pojavili kot tri puščice iz črk X, Y in Z nazaj vanje.)

Jezik teorije kategorij se je rabil za formalizacijo konceptov drugih visokonivojskih abstrakcij, kot so na primer algebrske strukture množic, kolobarjev in grup. Neformalno je teorija kategorij splošna teorija funkcij.

Več izrazov, rabljenih v teoriji kategorij, vključno z izrazom »morfizem«, se rabi različno kot v preostali matematiki. V teoriji kategorij za morfizme veljajo pogoji, ki so specifični teoriji kategorij sami.

Koncept kategorij, funktorjev (posebne vrste preslikav med kategorijami) in naravnih transformacij sta uvedla Samuel Eilenberg in Saunders Mac Lane med letoma 1942 in 1945 v svoji študiji algebrske topologije z namenom razumevanja procesov, ki ohranjajo matematično strukturo.

Teorija kategorij ima več praktičnih uporab v teoriji programskih jezikov, na primer raba monad v funkcionalnem programiranju. Lahko se rabi tudi kot aksiomatska osnova matematike, kot alternativa teorije množic in drugih predlaganih osnov.

Kategorije se sedaj pojavljajo v mnogih vejah matematike, v nekaterih področjih teoretičnega računalništva, kjer lahko odgovarjajo podatkovnim tipom ali podatkovnim shemam, in matematične fizike, kjer se lahko rabijo za opis vektorskih prostorov.[2] Teorijo kategorij se v fiziki lahko zasledi na primer že pri Jamesu Clerku Maxwellu v njegovi knjigi Snov in gibanje (Matter and motion) iz leta 1876, kjer je med drugim nakazal pomen načela relativnosti (pred teorijo relativnosti) in grupe simetrij.[3] Raba teorije kategorij se je v fiziki 20. stoletja samo povečevala in dosegla višek z razvojem teorije strun, M-teorije in zančne kvantne gravitacije.

Prva raba teorije kategorij zunaj čiste matematike je bil verjetno model »popravljanja metabolizma« avtonomno živečih organizmov ameriškega teoretičnega biologa in biofizika Roberta Rosena.[4]

Osnovni koncepti uredi

Kategorije predstavljajo abstrakcije drugih matematičnih konceptov. Mnogih matematičnih področij se lahko formalizira s teorijo kategorij s kategorijami. Tako teorija kategorij s pomočjo abstrakcije lahko določi in dokaže mnogo zapletenih in skrivnostnih matematičnih rezultatov s teh področij na mnogo enostavnejši način.[5]

Osnovni zgled kategorije je kategorija množic, kjer so objekti množice, puščice pa so funkcije (preslikave) med njimi. Objekti kategorije niso nujno množice, puščice pa ni treba, da so funkcije. Vsak takšen način formalizacije matematičnega koncepta, ki ustreza osnovnim pogojem obnašanja objektov in puščic, je veljavna kategorija – vsi rezultati teorije kategorij veljajo tudi zanj.

»Puščice« teorije kategorij velikokrat predstavljajo proces, ki povezuje dva objekta, ali v mnogo primerih »strukturo ohranjajočo« transformacijo med dvema povezanima objektoma. Obstaja sicer veliko uporab, kjer je z objekti in morfizmi predstavljenih več abstraktnih konceptov. Najpomembnejša značilnost puščic je, da imajo sposobnost »kompozicije«, ali z drugimi besedami, da so razvrščene v nizu in tvorijo nove puščice.

Uporabnost uredi

Kategorije, objekti in morfizmi uredi

Raziskovanje kategorij je poskus aksiomatskega zajetja tistega kar se običajno najde v različnih razredih sorodnih matematičnih strukturah z njihovim povezovanjem funkcij, ki ohranjajo strukturo, med njimi. Sistematično raziskovanje teorije kategorij potem dopušča dokazovanje splošnih rezultatov teh tipov matematičnih struktur iz aksiomov kategorije.

Razred Grp grup se na primer sestoji iz vseh objektov, ki imajo »strukturo grupe«. S pomočjo logičnih dedukcij iz množice aksiomov, ki definirajo grupe, se lahko dokažejo izreki o grupah. Iz aksiomov se lahko na primer neposredno dokaže, da je nevtralni element grupe edini.

Namesto, da se osredotoča zgolj na posamezne objekte (na primer grupe) z dano strukturo, teorija kategorij poudarja morfizme – preslikave, ki ohranjajo strukturo, med temi objekti. Z raziskovanjem teh morfizmov se lahko spozna več o strukturi objektov. V primeru grup so morfizmi homomorfizmi grup. Homomorfizem grup med dvema grupama »ohranja strukturo grup« v točnem pomenu – neformalno gre za »proces«, ki preslika eno grupo v drugo na način, da se informacija o strukturi prve grupe prenaša v drugo grupo. Raziskovanje homomorfizmov grup potem zagotavlja orodje za raziskovanje splošnih značilnosti grup in posledic aksiomov grup.

Podobna vrsta raziskovanj se pojavlja v mnogih matematičnih teorijah, kot so na primer raziskovanje zvezne preslikave (morfizmi) med topološkimi prostori v topologiji (povezana kategorija se imenuje Top), in raziskovanje gladkih funkcij (morfizmov) v teoriji mnogoterosti.

Vse kategorije ne izhajajo kot »funkcije (množic), ki ohranjajo strukturo«, standardni zgled je kategorija homotopij med točkovnimi topološkimi prostori.

Če se namesto funkcij aksiomatizira relacije, se dobi teorijo alegorij, kategorij, ki imajo neko strukturo kategorije množic Rel in dvočlene relacije med njimi.

Glej tudi uredi

Sklici uredi

Viri uredi

  • Awodey, Steve (2010) [2006], Category Theory, Oxford Logic Guides, zv. 49 (2. izd.), Oxford University Press, ISBN 978-0-19-923718-0
  • Baez, John Carlos; Lauda, Aaron (18. avgust 2009), A prehistory of n-categorical physics (PDF)
  • Coecke, Bob, ur. (2011), New Structures for Physics, Lecture Notes in Physics, zv. 831 (1. izd.), Springer-Verlag, doi:10.1007/978-3-642-12821-9, ISBN 978-3-642-12820-2, ISSN 0075-8450
  • Geroch, Robert (1985), Mathematical physics ([Repr.] izd.), Chicago: University of Chicago Press, str. 7, ISBN 978-0-226-28862-8, Omeniti je treba, da je izrek 3 dejansko lažji za kategorije v splošnem kot za posebni primer množic. Ta pojav nikakor ni redek.
  • Rosen, Robert (1958), »The representation of biological systems from the standpoint of the theory of categories« (PDF), Bulletin of Mathematical Biophysics, 20: 317–341