I am currently a PhD student at Bath University in the Mathematical Foundations research group. My supervisors are John Power and Guy McCusker.  A more-or-less up-to-date CV can be found here. Find my Bath University page here.

Talks on monoidal categories

In 2011 I gave a series of talks entitled "Graphical notation for monoidal categories" to the Logic and Semantics group. Here is an abstract for the talks:

We look at the structure of a monoidal category, which is a category with a kind of generalised product structure imposed on it. We then consider a certain useful graphical notation for monoidal categories and show that “proofs by picture” in this notation are valid.

As I gave the talks I wrote up lecture notes for them.  The latest version can be found here (last updated May 26, 2011).  These notes are more-or-less complete, though haven't been thoroughly checked and so carry the word "draft" in the title. They may be upgraded to "done" at some point when I get someone to read them through.  Even then, it's probably best to refer to the references rather than take what I've written too seriously. Please let me know if you have a comment or if you find a mistake!