Teaching

Student Projects

Masters and 3rd or 4th year students looking for projects should look here.

Potential PhD Students

Information for potential PhD students can be found here.

Adjoint School 2023

The proposed direction we explored in the research week is described here.

The final presentation given by the four students, Elena Dimitriadis, Tyler Hanks, Zhixuan Yang and Richie Yeung, at ACT 2023 can be found here.

MGS 2023 – String Diagrams

I taught a course on string diagrams at the Midlands Graduate School 2023.

Course Abstract

String diagrams are powerful graphical tools for reasoning in category theory. This will be an applied course that will explain how to efficiently perform calculations in elementary category theory using diagrammatic techniques. The main aim of the course is to equip students with the knowledge to confidently understand how and when to apply string diagrams in their own research. The emphasis will be on providing many examples of calculations in various areas of elementary category theory, particular including monads and adjunctions.

The course materials will be based on joint work with Ralf Hinze.

Prerequisites

Students will require some understanding of the basics of category theory, particularly the notions of category, functor and natural transformation. Some familiarity with at least small number of examples of monads and adjunctions would be useful for motivation, but not essential to understanding the material. No prior experience of string diagrams or more advanced category theory will be required.

Course Materials

Lecture material: