Computational category theory projects at Macquarie
- Case support for category theoretic specification of information systems
- Case support for modelling concurrency with n-categorical pasting schemes
- The theory of generalised distributivities
- Computational algebra and monoid theory (joint with Anne Heyworth, Leicester)
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
University of North Wales, Bangor, Wales
Mount Allison University, NB, Canada
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.