On Sat, 11 Aug 2007, Stephen Wilson wrote:
| Gabriel Dos Reis <[EMAIL PROTECTED]> 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
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
