Sissejuhatus kategooriateooria põhimõistetesse (kategooriad, funktorid, loomulikud teisendused, universaalomadused, piirid, kopiirid, monoidaalsed kategooriad, nöördiagrammid) ning näiteid nende kasutusest informaatikas.

Introduction to the basic concepts of Category Theory (categories, functors,
natural transformations, universal properties, limits, colimits, monoidal
categories, string diagrams) and some applications in Computer Science.

Tudeng tunneb kategooriateooria põhimõisteid ning mõistab nende asjakohasust vähemalt ühes rakendusvaldkonnas informaatikas või mujal.

The student will understand the basic concepts of Category theory and its
relevance to at least one application area in Computer Science or related field

Kursus koosneb iganädalastest loengutest ja harjutustundidest. Kodutöid antakse iga nädal ja neid kontrollitakse harjutustundides. Suurem iseseisev töö seisneb ühe kategooriateooria valdkonna rakenduse uurimises. Sõltuvalt tudengi hinnetest tuleb suuline või kirjalik eksam.

The course will consist of weekly lectures and exercise classes. Homework
assignments will be given weekly and checked at the exercise classes. The
major assignment will consist of exploring a particular application of category
theory. Depending on student numbers there will be a written or an oral exam.

Lõpus eksam

formative: homework assignments, major assigment
summative: final exam

-

-

- Walters, Robert Frank Carslaw. Categories and computer science. Cambridge University Press, 1991.
- Mac Lane, Saunders. Categories for the working mathematician. Vol. 5. Springer Science & Business Media, 2013.

-