[Axiom-developer] re: category/domain/type discussion work product

[root]

suggestion.....

there's been a long running discussion that contains some fine points
about axiom and it's interpretetation of categories, domains, and types.

an effort to collect, review, and summarize this discussion in either
a tutorial form or as potential axiom/aldor compiler documentation 
would make for a very useful "work product". a pamphlet file with
runnable code would make it quite useful.

anybody interested?

t