In passing about category theory and ML:
* ML supports generic programming by a language feature called
a functor. I don't know enough category theory to know how
close ML's notion of functor is to a mathematician's.
this page is a small intro
On Wed, 3 Apr 2002, Sampo Syreeni wrote:
The fact that we use Alice and Bob diagrams, with Eve and Vinnie
the Verifier and so on, with arrows showing the flow of signatures, or
digital money, or receiptswell, this is a hint that the
category-theoretic point of view may be extremely
On Tuesday, April 2, 2002, at 02:58 PM, Sampo Syreeni wrote:
On Tue, 2 Apr 2002, Tim May wrote:
I've been having a lot of fun reading up on category theory, a
relatively new branch of math that offers a unified language for
talking
about (and proving theorems about) the transformations