The last 30 years have seen the growth of a new branch of mathematics called Category Theory which provides a general perspective on many different branches of mathematics. Many workers (see Lawvere, 1972) have argued that it is category theory, rather than Set Theory, that provides the proper setting for the study of the Foundations of Mathematics.