Categories and Quantum Informatics

This is the course website for Categories and Quantum Informatics spring 2016/2017, and will be updated regularly while the course runs.


Tuesdays and Thursdays 2-3pm in the Basement Lecture Theatre of the Medical School. Lectures will be given by Chris Heunen, with guest lectures by Ross Duncan from the University of Strathclyde (March 21), and Martti Karvonen (March 14 and 16) from the University of Edinburgh.

The lecture notes are in the process of being developed into the book "Categories for Quantum Theory". Please report any typos or mistakes.


The second half of every Thursday lecture will be run as a tutorial. Answers to exercise sheets will be posted two weeks after the tutorial session.


On Wednesday March 22 (week 9) at 10am there will be a

in Forest Hill 1.B31.


The coursework counts for 30% of the total grade. Be honourable and don't discuss the coursework with other students; obvious plagiarism will be punished, creativity will be rewarded.


Two-hour sit-down exam, in the April/May diet.

Further reading

If you can't get enough, here are some more references:

Home : Teaching : Courses 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail:
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh