Kategoriteori - fugleperspektiv på komplekse matematiske problemer

Avansert matematikk er grunnlag for utviklingen innen kunstig intelligens, datasikkerhet og modellering. Et relativt nytt verktøy innen avansert matematikk er kategoriteori, et språk som tillater matematikere å snakke om matematiske konstruksjoner på en indirekte men ekstremt effektiv måte. I kategoriteorien studerer man hvordan matematiske objekter samhandler med hverandre. Anvendelsesområdene var få i begynnelsen men er etterhvert mange og økende; kjemiske reaksjoner, lingvistikk, mutasjonsmekanismer innen genetikk, databaser etc.

Universitetet i Bergen var på forsommeren vertskap for konferansen «CATMI23 -Category theory at work«, som samlet 40 forskere innen ren matematikk og informatikk fra hele Europa. Konferansen var støttet av Trond Mohn stiftelse og Tromsø forskningsstiftelse gjennom prosjektet «Ren matematikk i Norge».

Arrangørene understreker viktigheten av å møtes for å drive utviklingen videre. Publikasjonene er gjerne kortfattede og resultatorientert, og med en eller to forfattere. På en konferanse kan man få innsikt i arbeidsprosessen og inspirere hverandre i arbeidet.

Lær mer om kategoriteori og hvordan matematikere arbeider ved å lese denne saken som er skrevet av Jin Sigve Mæland, UiB.

Ingressfoto: UiB