RE: [Axiom-developer] categorical design

[Bill Page]

BTW, if I haven't already mentioned it here (or even if
I have ... <grin> ) I would like to recommend a good and
easily available book on category theory and type systems.
See the book

  Categories Types and Structures
  by Asperti and Longo
  MIT Press, 1991

Now available for download at:

  http://www.di.ens.fr/users/longo/download.html

Cheers,
Bill Page.