Course at
Faculty of Mathematics, informatics and Mechnics
The University of Warsaw

Category Theory in Foundations of Computer Science



winter semester of 2023/24
Fridays, 14.15 - 17.15, room 4070
(with an option to extend this until 17.30, or even 17.45 after a break)


Exam assignment with a sketch of a solution is available here.
Final exam marks are available in USOS.



Universal algebra and category theory are by now two classical areas of mathematics that offer abstract concepts, methods and results which have been widely adopted in foundations of computer science and by now form the standard language to deal with, among others, modelling, design, and systematic construction of complex software systems.

The course recalls basic concepts of universal algebra and introduces the language of category theory, limited to the most elementary and important notions and related results. We hint at least at the possible applications of the categorical language in various areas of computer science, for instance in type theory and in foundations of algebraic specifications.



Transparencies Literature

Exam:

The time to submit your solutions and discuss the marks is over. The final marks are available in USOS.

Here are a few samples of exam assignments from the past (sorry, only some English versions are available):



AT