The Computational Category Theory Project
at Mount Allison University

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.

Software developed at Mount Allison

• Graphical Database for Category Theory Java application - Version 1.0 (January 2000) mathcs.mta.ca/research/rosebrugh/gdct/
• Developed in 1998, a Java applet:
  Category Theory Database Tools
  by J. Bradbury and R. Rosebrugh.
  Warning: The applet is a 700Kb download. Improved version coming 99/9.
• Completed in 1995, a menu-based C program:
  A Database of Categories

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
2000/9/27