Database tools for category theory
Date: July 18th (Thursday)
Time: 16:05-16:25
Abstract
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.)
