Computational Category Theory

Guide to Papers

Welcome to the Computational Category Theory Project

Computational Category Theory is an implementation of concepts and constructions from category theory in the functional programming language Standard ML. The original ideas are due to R.M. Burstall, and it was developed by D. Rydeheard, with help from D.T. Sannella and others in the University of Edinburgh theoretical computer science community.

The Manual

For full details of the project, there is a copy of the manual (in PDF or Postscript) available here.

The Programs

To access the Computational Category Theory programs go to this directory. There is a Readme file giving instructions on compiling and running the programs.

Any comments? Please email me at david @

The manual is available for personal use only and not to be distributed, made multiple copies, made available on other websites, or sold in any format. Full copyright remains with the authors. The programs are available for educational and experimental use only. They should not be incorporated in any product and not offered for commercial gain. They should not be distributed or made available on any website. Neither Manchester University nor the authors are liable for any consequence of the use of the programs. Full rights remain with the authors.

Contact the Website Administrator with comments or queries about this website.
All material copyright ŠThe University of Manchester. Last update Jan 2007.