[Axiom-developer] semantics of categories

[Ralf Hemmecke]

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

I've already put a copy of this and the other papers in that directory to

http://portal.axiom-developer.org/refs/articles/

Ralf