Computational category theory projects at Macquarie
Participants
Projects
 Case support for category theoretic specification of information systems
 Case support for modelling concurrency with ncategorical pasting schemes
 The theory of generalised distributivities
 Computational algebra and monoid theory (joint with Anne Heyworth, Leicester)
Publications
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.
Groups
Currently connected with this project are:

Università dell' Insubria, Como, Italy
 Contact:
R.F.C. Walters,
Walters@fis.unico.it

University of North Wales, Bangor, Wales
 Contact:
R. Brown,
R. Brown@bangor.ac.uk

Mount Allison University, NB, Canada
 Contact:
Bob Rosebrugh,
RRosebrugh@mta.ca
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.