The Computational Category Theory Project
This site is part of
The Computational Category Theory Project.
at Mount Allison University
Goals and Method.
The aim of this project is the development of software on a wide variety
of platforms for computing with mathematical categories and associated
Although writing on different platforms each group will undertake to make
available programs for translating their input and output files to the
formats of the other groups.
Software developed at Mount Allison
School of Mathematics, University of Wales, Bangor, Wales
MCS, University of Leicester, England
Computing Department, Macquarie University, Sydney, Australia
R. F. C. Walters
Universita dell' Insubria, Como, Italy