The Computational Category Theory Project
at Mount Allison University

This site is part of The Computational Category Theory Project.

Goals and Method.

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