PhD and MSc Course Place
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2100 Copenhagen S Organizers and Lectures
Lars Birkedal and Rasmus Møgelberg Course description
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 course 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. This course is targetted at beginning Ph.d. students / M.Sc. students.
Literature: Steve Awodey: Category Theory. [SA]
Organizers: Lars Birkedal (LB), Rasmus Møgelberg (REM)
Format: Regular course with lectures offered (once a week for 2 hours) by the organizers and other members of the PLS research group.
Requirements for obtaining ECTS:
Approval of 4 homeworks that have to be handed-in for approval