[Aldor-l] [Axiom-developer] semantics of categories

[Martin Rubey]

On Fr, 21.07.2006, 13:06, Ralf Hemmecke wrote:
> Last night I was referring to some problems with categories as first
> class values. I remember that I have read something about it.
>
> http://www.ph.ed.ac.uk/~bj/paraldor/WWW/docs/discussion/define.pdf

Funny that they would say in the appendix

 Perhaps there is some mind-bending way that domains
 could be constructed as a resul to userinput, but I cannot think of
 one off the top of myhead.

since I guess that this is exactly what we were doing in our version of
combinat -- i.e., the parser I wrote, that takes a string and returns a
combinatorial class.

Martin