Re: [Axiom-developer] A curious algebra failure

[Gabriel Dos Reis]

On Sat, 11 Aug 2007, Stephen Wilson wrote:

| Gabriel Dos Reis <address@hidden> writes:
| > | Here, % certainly satisfies the conditions on the parameter type:
| > | 
| > |    SetCategory with "*": (%,%)->%
| > 
| > I don't think it does, in the sense of Spad.
| > I believe two unnamed categories define distinct categories irrespective of
| > their bodies. 
| 
| Are you saying that % is unnamed?

`%' is not a category; it stands for the current domain.

I'm saying that the category

    SetCategory with "*": (%,%)->%

is unnamed.

I'm trying to find where I found that in the Axiom book, but no luck for the
moment.  Except the discussion in section 12.12 on Anonymous Categories.

-- Gaby