Lecture 2: Introduction to Category Theory Nick Rossiter, Computing Science, Newcastle University, England [email protected] http://www.cs.ncl.ac.uk/people/b.n.rossiter/…