Kada je John Baez, fizičar koji je postao matematičar, 2011. godine pozvao na razvoj "zelene" matematike, zamislio je teoriju kategorija — najapstraktniju granu matematike — kao alat za modeliranje biosfere i klime naše planete. Deceniju kasnije, više od stotinu naučnika prihvatilo je taj izazov, pokrenuvši godišnju konferenciju, specijalizovani časopis, pa čak i institut u Velikoj Britaniji posvećen primenjenoj teoriji kategorija.

Teorija kategorija, koja se prvi put pojavila 1945. godine, više se bavi vezama nego samim brojevima. Baez to objašnjava jednostavno: "Crnog kralja možete nazvati komadom drveta, ali ono što je važno jeste kako se on kreće i kako uzima figure." U ovom pogledu, bilo šta — novac, ćelije, klimatska očitavanja — opisuje se strelicama, ili morfizmima koji to povezuju sa nečim drugim.

Od apstraktnih dijagrama do modela iz stvarnog sveta

Većina naučnog programskog koda grupiše različite veličine u proste numeričke vrednosti, pa se tako "35" može odnositi na 35 ljudi, 35 doza leka ili 35 dolara. Takav pristup pogoduje nastanku skrivenih grešaka, naročito kada projekti obuhvataju više različitih oblasti. Primenjena teorija kategorija nudi okvir koji održava jasnu razliku, transformišući skup objekata i strelica u strogu logičku "kategoriju".

Bob Coecke je prvi koristio ovaj jezik za kvantnu mehaniku, a David Spivak ga je kasnije primenio na baze podataka. Njihovo istraživanje pokazuje da kategorija može poslužiti kao zajednički jezik za povezivanje raznorodnih izvora podataka — bilo da je reč o platnom spisku kompanije ili zdravstvenom sistemu jedne države.

Epidemiologija: Prva priča o uspehu

Jedan od najjasnijih uspeha primenjene teorije kategorija vidi se u modeliranju širenja bolesti. Epidemiolozi crtaju "stock-and-flow" dijagrame — blokove za podložne, zaražene i oporavljene grupe, povezane strelicama koje označavaju stope prelaza. Te slike se direktno preslikavaju na objekte i morfizme u okviru jedne kategorije.

U saradnji sa kanadskim informatičarem Nateom Osgoodom, Baezova grupa je razvila StockFlow, softverski paket koji te dijagrame pretvara u formalni kod. Ovaj alat omogućava istraživačima da spajaju male kategorije — poput uticaja zdravstvenih nejednakosti — u veće, realističnije modele epidemije. Iako je još uvek u uskom krugu primene, StockFlow se sada pojavljuje u postdiplomskim programima, postavljajući temelje za širu upotrebu.

Bezbednost veštačke inteligencije: Izgradnja pouzdanih sistema

Druga oblast u kojoj apstraktna matematika dolazi do izražaja je bezbednost veštačke inteligencije (AI). Projekat Safeguarded AI, koji finansira britanska agencija ARIA, primenjuje teoriju kategorija za izgradnju modularnih, kompozicionih modela složene infrastrukture — poput električnih mreža ili nuklearnih elektrana — kako bi AI agenti mogli da se obučavaju i testiraju u sigurnom okruženju.

"Teorija kategorija vam pruža modularan, kompozicioni način da to uradite," objašnjava Matteo Capucci, viši istraživač na projektu. Kodiranjem logičke strukture sistema u kategorijalni model, inženjeri mogu ispitivati ponašanje AI u kontrolisanom okruženju koje verno odražava stvarne međuzavisnosti.

Klimatsko modeliranje: Težak izazov

Baezov prvobitni "zeleni" cilj bio je unapređenje klimatskih modela, koji već kombinuju ogromne tokove podataka iz okeanografije, atmosferske fizike i nauke o biosferi. Istraživači priznaju da današnji modeli rade prilično dobro, iako je matematika koja povezuje njihove delove često ad hoc prirode.

"Možemo reći ljudima: 'Vaš model bi bio bolji ako biste ga izgradili na ovim osnovnim principima', a oni pitaju: 'Koliko će to trajati?'" primećuje Amar Hadžihasanović sa Tehnološkog univerziteta u Talinu. Odgovor je danas "veliko početno ulaganje pre ostvarivanja bilo kakve koristi." Većina se slaže da bi strogost teorije kategorija mogla učiniti buduće klimatske modele prilagodljivijim, ali polje još uvek čeka na prelomni pilot-projekat.

Zašto je apstrakcija važna

U svojoj suštini, teorija kategorija postavlja jednostavno pitanje: Koji su odnosi bitni? Fokusiranjem na morfizme umesto na same objekte, ona podstiče naučnike da sisteme posmatraju kao mreže interakcija — što je upravo pristup potreban za ekosisteme, ekonomije i infrastrukturu vođenu AI tehnologijom.

"Tretiramo žive sisteme kao mašine," upozorava Baez. "Evolucija čini život suptilnim; geni imaju mnogo uloga, otpad jednih organizama hrani druge." Kategorijalni jezik mogao bi promeniti naš pogled na biosferu — od toga da je vidimo kao puki skup ulaza i izlaza, do prepoznavanja kao koherentne, međuzavisne celine.

Pogled u budućnost

Primenjena teorija kategorija je i dalje mlada naučna disciplina, a mnoge njene tvrdnje još uvek nisu testirane na planetarnom nivou. Ipak, rani uspesi — u epidemiologiji, AI bezbednosti i integraciji baza podataka — pokazuju da bi najapstraktnija matematika mogla postati praktičan alat za savladavanje složenosti. Ako se finansiranje proširi i više interdisciplinarnih timova prihvati kategorijalni način razmišljanja, "zelena" matematika bi mogla preći put od metafore do sastavnog dela arsenala alata na koji se oslanjaju inženjeri, klimatolozi i donosioci odluka.

Za sada, putovanje je tek počelo, ali trend ukazuje na budućnost u kojoj nam najuzvišenije ideje pomažu da stvorimo otporniji i održiviji svet.