Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!uwmcsd1!csd4.milw.wisc.edu!markh
From: markh@csd4.milw.wisc.edu (Mark William Hopkins)
Newsgroups: comp.ai
Subject: Categories & combinators
Message-ID: <6658@uwmcsd1.UUCP>
Date: 27 Aug 88 17:46:41 GMT
Sender: daemon@uwmcsd1.UUCP
Reply-To: markh@csd4.milw.wisc.edu (Mark William Hopkins)
Organization: University of Wisconsin-Milwaukee
Lines: 8

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.