markh@csd4.milw.wisc.edu (Mark William Hopkins) (08/28/88)
If you are familiar with combinators, I can give a very brief summary of
what category theory is about:
A category is a typed combinator system with the combinators B (for
composition) and I (for identity).
In general, there is a very close relation between typed combinators
(the typed lambda calculus) and categories.