Contents

Goals and Method
Members of CompCat
Developments and Information

Links to CompCat Member Sites

Universita dell' Insubria, Como, Italy
 
Mt. Allison University, Sackville, New Brunswick, Canada
 
School of Mathematics, University of Wales, Bangor, Wales
 
Computing Department, Macquarie University, Sydney, Australia
 
MCS, University of Leicester, England


[MCS Home]

Up: Anne's Home page

Computational Category Theory Project

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.

    • Members

    R. F. C. Walters
    Universita dell' Insubria, Como, Italy

    Bob Rosebrugh
    Mt. Allison University, Sackville, New Brunswick, Canada

    Ronnie Brown
    School of Mathematics, University of Wales, Bangor, Wales

    Mike Johnson
    Computing Department, Macquarie University, Sydney, Australia

    Anne Heyworth
    MCS, University of Leicester, England

    Developments and Information

    Here is a link to the list of software and structure definitions

    To join the mailing list contact

    You might also like to visit:

    [University Home][MCS Home]Anne's Home page[University Index A-Z][University Search][University Help]

    Author: Anne Heyworth
    Last updated: 2nd February 2001

    Any opinions expressed on this page are those of the author.
    © University of Leicester.