Categories and Quantum Informatics

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


Tuesdays 2-3pm in room 3.01 at 21 Buccleuch Place. Thursdays 2-3pm in G13B at 7 Bristo Square.

Lectures will be given by Chris Heunen, with guest lectures by Andru Gheorghiu (January 23), Pau Enrique Moliner (March 6), and Martti Karvonen (March 20). There will be no lectures on January 25, March 8, or March 22.

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


Tutorial groups are held on Thursday noon and Friday 2pm in room 11.11 of David Hume Tower, from week 3 on, by Pau Enrique Moliner. Answers to exercise sheets will be posted here two weeks after the tutorial session.


In week 8, on Wednesday March 14 at 10am, in Appleton Tower 5.08 South lab, there will be a


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:

And some more advanced material on knot theory for the brave:

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