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.