# 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:

## 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

Internet: rrosebrugh@mta.ca