Computational category theory projects at Macquarie




Until this page is better developed you can get some idea of some of the work we do by looking at the following publications, most (but not all) of which relate to computational category theory and what we seek to do with the tools these projects are developing.

The International Computational Category Theory Project

This site is part of The Computational Category Theory Project.


Currently connected with this project are:
Università dell' Insubria, Como, Italy
Contact: R.F.C.

University of North Wales, Bangor, Wales
Contact: R. Brown R.

Mount Allison University, NB, Canada
Contact: Bob Rosebrugh,

Goals and Method.