[Aldor-l] Is Type a category?

[Ralf Hemmecke]

Hello Stephen,

Could you also state your understanding of what Category, Type, domain 
etc. actually mean.

Would be nice if you could enter your definitions into

http://axiom-wiki.newsynthesis.org/SandboxTypeDefinitions

in particular, I would be interested to know whether 'Type' in Aldor is 
an Aldor-category, ie. not only Type: Type but also Type: Category.

Thank you in advance
Ralf

PS: Related link:
http://axiom.svn.sourceforge.net/viewvc/axiom/trunk/axiom/src/algebra/coerce.spad.pamphlet?revision=651&view=markup
where a definition says
Type(): Category == with nil


On 07/09/2008 01:42 AM, Gabriel Dos Reis wrote:
> On Tue, Jul 8, 2008 at 5:26 PM, Ralf Hemmecke <ralf at hemmecke.de> wrote:
> 
>> Somehow I now have the impression that Aldor-Type and OpenAxiom-Type are
>> different. That "Type" is a category in OpenAxiom would have never come
>> to my mind in Aldor.
> 
> Notice that, as far as I can determine, Type is a category is all current AXIOM
> systems.
> 
> -- Gaby