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.