University of Wales, Bangor - School of Informatics Computational Category Theory

This site is part of The Computational Category Theory Project.

Groups

Università dell' Insubria, Como, Italy

Contact: Bob Walters at: robert.walters@uninsubria.it

Mount Allison University, Canada

Contact: Bob Rosebrugh at: RRosebrugh@mta.ca

This group

Contact: Ronnie Brown at: R.Brown@bangor.ac.uk

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.
• New versions will be announced on the Categories Mailing List.

Background to Activities at Bangor

• Participants
• Background
• Papers

Software developed at Bangor

• XMOD - (Wensley/Alp) GAP3 package for crossed modules and cat1-groups
  (currently being converted to GAP4.1);
• KAN - (Heyworth) GAP3 package for Kan extensions of actions of categories
  (currently being converted to GAP4.1).

Software developed at Mount Allison

• Currently in development, a Java applet and application:
  Category Theory Database Tools
  by J. Bradbury and R. Rosebrugh.
• Completed in 1995, a menu-based C program:
  A Database of Categories