Category theory, a branch of abstract algebra, has found many applications in mathematics, logic, and computer science, where it for example has been used to describe and analyse models of both sequential and parallel programming languages. Like such fields as elementary logic and set theory, category theory provides a basic conceptual apparatus and a collection of formal methods useful for addressing certain kinds of commonly occurring formal and informal problems, particularly those involving structural and functional considerations. This project is intended to acquaint students with these methods, and also to encourage them to reflect on the interrelations between category theory and the other basic formal disciplines. A number of applications of category theory to computer science will also be covered, including some recent developments.
|Project format||We have a common project meeting each week, where we discuss the reading material. Project participants have to write a report, on a topic of their own choice related to the reading material. Reports should preferable be written in groups with minimum 2, preferably 3, persons in each group.|
|Prerequisites||This is an introductory graduate project course with no formal pre-requisites, but some "mathematical maturity" would be helpful.|
|Notes||Basic Category Theory by Jaap van Oosten.|
|Grading||Will be based on written project report.|