Category Theory Project
Fall 2001

Instructors: Lars Birkedal,, Glentevej 67, Room 2.21, 3816 8868

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 Information

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.
Meetings TBA
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.
Credits 7.5 ECTS
Grading Will be based on written project report.
Email-list email.txt

Course Material

This home page is at .

Other pointers:

  • lecture schedule
  • suggested projects

  • [ Category Theory Home | Schedule | Projects ]

    Lars Birkedal