\begin{center}
\LARGE
Database tools for category theory
\end{center}

\begin{center}
\Large
Bob Rosebrugh
\end{center}

\noindent
Date:  July 18th (Thursday)\\
Time:  16:05-16:25\\

\begin{center}
\large
Abstract
\end{center}

We have developed an interactive system in C to store and manipulate finitely-presented
categories and functors among them. The tools allow, among other things, determination of
equality of composed arrows, sums, products and so on. Also implemented are calculations of right
and left kan extensions of finite-set valued functors. These include computation of finitely
presented limits and colimits of finite sets. The talk will indicate some of the algorithms used and
demonstrate program output. (This is joint work with M. Fleming and R. Gunther.) 

