Computer Laboratory

Course material 2010–11

Category Theory for Computer Science

Lecturer: Dr Marcelo Fiore
Taken by: MPhil ACS
Mid-term test

  • S.Awodey. Category Theory. Oxford University Press, 2006.

  • M.Barr and C.Wells. Category Theory for Computing Science Centre de Recherches Mathematiques, third edition, 1999.

  • R.Crole. Categories for Types. Cambridge University Press, 1993.

  • F.W.Lawvere and S.Schanuel. Conceptual Mathematics. Cambridge University Press, 1997.

  • S.Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1971.

  • P.Taylor. Practical Foundations of Mathematics. Cambridge Studies in Advanced Mathematics 59, Cambridge University Press, 1999.

  • R.Walters. Categories and Computer Science. Cambridge University Press, 1991.
  • On-line notes
  • R.Backhouse. Galois Connections and Fixed Point Calculus. School of Computer Science and Information Technology, University of Nottingham, 2001.

  • M.Barr and C.Wells. Category Theory. Lecture Notes for ESSLLI, 1999.

  • M.Fiore. Rough notes on presheaves. Notes for a postgraduate mini-course, PPS, Universite Paris Diderot - Paris 7, 2001.

  • J.van Oosten. Basic Category Theory. Department of Mathematics, Utrecht University, 2002.

  • D.Turi. Category Theory Lecture Notes. LFCS, University of Edinburgh, 1996-2001.