## Computing with Categories

**R.M. Burstall and D. Rydeheard**
*Abstract:* This paper shows how the constructions involved
in category theory may be turned into computer programs. Key issues
are the computational representation of categories and of universal
properties. The approach is illustrated with a program for
computing finite limits of an arbitrary category; this is written
in the functional programming language ML. We have developed such
programs for a number of categorical constructions.

*LFCS report ECS-LFCS-86-9*

Previous |

Index |

Next