Course at
Faculty of Mathematics, informatics and Mechnics
The University of Warsaw
Category Theory in Foundations of Computer Science
winter semester of 2024/25
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
- old compact version, subject to modification and expansion:
-
The above are better for printing (but contain minor
inaccuracies); the actual course will use their corrected and expanded
version, with overlays, as given below (minor corrections still
possible where the dates are not given):
Literature
Exam:
Exam assignement with a sketch of a solution is now
available here
-- hopefully without major mistakes; if you notice some problems, please, alarm me.
Here are a few samples of exam assignments from the past
(sorry, only some English versions are available):
- Moze jeszcze cos tu sie pojawi...
AT