The Computational Category Theory Project
at Mount Allison University
This site is part of
The Computational Category Theory Project.
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
algebraic structures.

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
Other Members

Ronnie Brown

School of Mathematics, University of Wales, Bangor, Wales

Anne Heyworth

MCS, University of Leicester, England

Mike Johnson

Computing Department, Macquarie University, Sydney, Australia

R. F. C. Walters

Universita dell' Insubria, Como, Italy
Bob Rosebrugh
2000/9/27