Computational category theory projects at Macquarie
Participants
Projects
- 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)
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.