A Database of Categories (DBC)

M. Fleming, R. Gunther, R. Rosebrugh

Mount Allison University 1994-95

Introduction:

A Database of Categories is an application that is written in C and is menu-based for ease of use.Use of the program requires a basic knowledge of category theory. It allows storage and manipulation of finitely-presented categories. Its format for storing categories, and some of the data structures are based on those developed by S. Carmody and R. F.C. Walters of Sydney University. The program allows creation, editing and storage of finitely presented categories. In addition, there are several tools for testing properties of objects and arrows, and the computation of right and left Kan extensions of finite-set valued functors along finitely presented functors is available.

Source Code and Executable:

• C Source Code (73.8 KB)
• C Executable and Example Files (99.4)
• C Executable (53.8 KB)
• Category Example Files (13.9 KB)
• Functor Example Files (18.3 KB)

Documentation:

• A Database of Categories User Guide (TEX)
• A Database of Categories Guide to Data Structures and Algorithms (TEX)

Robert Rosebrugh
Department of Mathematics and Computer Science
Mount Allison University
Sackville, N.B. E0A 3C0
Canada

Phone: +1-506-364-2538
Fax: +1-506-364-2210