#
ITI9200 - Introduction to Category Theory and its Applications

## When

- Monday 10:00 - 11:30 (
**ICT-A2**)
- Thursday 16:00 - 17:30 (
**ICO-219**)

First lecture: January 29, 2024.

Last lecture: May 16, 2024.

## Who

We all are in the

CYB building - Akadeemia tee 15/2, 12618 Tallinn

## What

An introductory course on category theory and its applications in (computer) science.

Good references for studying category theory are:

- Leinster "Basic Category Theory"
- Awodey "Category theory"
- Barr & Wells "Category Theory for Computing Science"
- Riehl "Category theory in context"
- Borceux "Handbook of categorical algebra", vol. 1-3
- Mac Lane, "Categories for the working mathematician"

## Lecture notes

## Exercises

Exercise sheets should be submitted to Fosco Loregian by email (fosco.loregian@taltech.ee, write "ITI9200" as subject), or handed in physically at the start or end of a lecture.

- Exercise sheet 1 [PDF] (Deadline: 23:59 on 18 March 2024)
- Exercise sheet 2 [PDF] (Deadline: 23:59 on 18 March 2024)

## Grading

The grade will be assigned based on two exercise sheets during the lecture course, and a final oral exam. For the final exam, you will choose a topic and give a short presentation about it.

Victor Brauner, *Arche-chat*, 1948,

Herbert F. Johnson Museum of Art

(Cornell University), Ithaca, NY, US.