[Aldor-l] [open-axiom-devel] [#428] 'Domain' in 'SetCategory'?

[Ralf Hemmecke]

On 07/09/2008 07:08 PM, Gabriel Dos Reis wrote:
> Ralf Hemmecke <ralf at hemmecke.de> writes:
> 
> [...]
> 
> | In OpenAxiom:
> | Every domain has type 'Domain'. Fine.
> | Every category has type 'Category'. Fine.
> | But also every category has type 'Domain'. That is not so nice.
>            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> 
> I don't know how that come to be -- if true, it is a surprise to me.

I only rephrased what I understood from Bill's mail. Bill I hope I cited 
you correctly.

Gaby, if "every category has type 'Domain'" is false for OpenAxiom, that 
makes me relax. I simply don't know/understand too much of the 
internals. That Boot code is still too much for me.

Ralf