Contents
-
Defined CompCat Structures
-
CompCat Structures Under Development
-
CompCat Software
-
CompCat Software Under Development
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
-
MCS, University of Leicester, England
-
Computing Department, Macquarie University, Sydney, Australia
|
Presentations of Kan Extensions
Category Theory Database Tools
- Java applet, developed in 1998
by J. Bradbury and R. Rosebrugh (Mount Allison).
Warning: The applet is a 700Kb download. Improved version
coming 99/9.
Graphical Database for Category Theory
- Java Application - Version 1.0 (January 2000)
developed by J. Bradbury and R. Rosebrugh (Mount Allison).
Database of Categories
- a menu-based C program, completed in 1995 (Mount Allison).
Kan extension program of
Carmody, Reilly and Walters written in 1991 (Insubria).
Span(Graph) program of
Gates, Katis and Walters written in 1996 (Insubria).
XMOD - GAP3 package for crossed modules and cat1-groups
by Murat Alp and Chris Wensley (Bangor).
Currently being converted to GAP4.1.
Kan
- a GAP3 package for computing Kan extensions of actions of categories by
Anne Heyworth (Leicester).
Maple package -
for computational category theory (Insubria).
Maple package -
for categorical computation theory (Insubria).
Java package -
for computational category theory (Insubria).
Java package -
for categorical computation theory (Insubria).
Kan
- a GAP4 package for computing Kan extensions and enriched Kan extensions by
Anne Heyworth (Leicester).
|