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.
Previous | Index | Next An error occured whilst processing this directive