Introduction to Category Theory and its Applications
BASIC DATA
course listing
A - main register
course code
ITI9200
course title in Estonian
Sissejuhatus kategooriateooriasse ja selle rakendustesse
course title in English
Introduction to Category Theory and its Applications
course volume CP
-
ECTS credits
6.00
to be declared
yes
assessment form
Examination
teaching semester
spring
language of instruction
Estonian
English
Study programmes that contain the course
code of the study programme version
course compulsory
no
Structural units teaching the course
IT - Department of Software Science
Timetable link
Version:
VERSION SPECIFIC DATA
course aims in Estonian
Sissejuhatus kategooriateooria põhimõistetesse (kategooriad, funktorid, loomulikud teisendused, universaalomadused, piirid, kopiirid, monoidaalsed kategooriad, nöördiagrammid) ning näiteid nende kasutusest informaatikas.
course aims in English
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.
natural transformations, universal properties, limits, colimits, monoidal
categories, string diagrams) and some applications in Computer Science.
learning outcomes in the course in Est.
Tudeng tunneb kategooriateooria põhimõisteid ning mõistab nende asjakohasust vähemalt ühes rakendusvaldkonnas informaatikas või mujal.
learning outcomes in the course in Eng.
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
relevance to at least one application area in Computer Science or related field
brief description of the course in Estonian
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.
brief description of the course in English
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.
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.
type of assessment in Estonian
Lõpus eksam
type of assessment in English
formative: homework assignments, major assigment
summative: final exam
summative: final exam
independent study in Estonian
-
independent study in English
-
study literature
- 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.
- Mac Lane, Saunders. Categories for the working mathematician. Vol. 5. Springer Science & Business Media, 2013.
study forms and load
daytime study: weekly hours
4.0
session-based study work load (in a semester):
lectures
2.0
lectures
-
practices
0.0
practices
-
exercises
2.0
exercises
-
lecturer in charge
-
LECTURER SYLLABUS INFO
semester of studies
teaching lecturer / unit
language of instruction
Extended syllabus
2025/2026 spring