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