A database of categories

Authors:
Michael Fleming;Ryan Gunther;Robert Rosebrugh
Affiliations:
Department of Computer Science, University of Waterloo, Waterloo, Ont, Canada;Department of Computer Science, University of Waterloo, Waterloo, Ont, Canada;Department of Mathematics and Computer Science, Mount Allison University, Sackville, NB, Canada
Venue:
Journal of Symbolic Computation
Year:
2003

Citing 2
Cited 2

Categories and computer science

Categories and computer science
The Todd-Coxeter procedure and left Kan extensions

Journal of Symbolic Computation

Automatic semigroups and categories

Theoretical Computer Science
Databases and the geometry of knowledge

Data & Knowledge Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe a program which facilitates storage and manipulation of finitely-presented (FP) categories and finite-set valued functors. It allows storage, editing and recall of FP categories and functors. Several tools for testing properties of objects and arrows, and the computation of right and left Kan extensions are included. The program is written in ANSI C and is menu-based. Use of the program requires a basic knowledge of category theory.