Hjem
Matematisk institutt
Konferanse

CATMI 2023 Category Theory at Work in Computational Mathematics and Theoretical Informatics

Konferansen bringer sammen forskere fra matematikk og informatikk for å utveksle hvordan kategori- og typeteori brukes til å strukturere komplekse problemer og forskning i matematikk og teoretisk informatikk

Hovedinnhold

Populært sagt er kategoriteori læren om det sosiale livet til matematisk objekter.

Man er ikke så fokusert på indre struktur, men heller hvordan de relaterer til hverandre.

Kategoriteori har i de siste tiårene gitt et begrepsapparat til bruk i stadig flere områder:  Anvendt kategoriteori har vokst fram og modellerer et vell av situasjoner, som f.eks. databaser og nettverk.  I teoretisk informatikk gir det struktur og organisering av  forskningsområder. I matematikk gir fomuleringer i kategorisk språk en bedre forståelse for hvilke fundamentale struktuerer som er virksomme, og gir naturlig retning til problemstillinger.

 

Inviterte foredragsholdere

  • Adriana Balan
  • Nicolas Behr
  • Gemma De les Coves
  • Pierre-Louis Curien
  • Vladimir Dotsenko
  • Loïc Foissy
  • Ivan Di Liberti
  • Peter LeFanu Lumsdaine
  • Joachim Kock
  • Dominique Manchon
  • Stefan Milius
  • Paige North
  • Jon Sterling
  • Simon Willerton
  • Fabio Zanasi