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

[Gabriel Dos Reis]

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.

-- Gaby