Re: [Axiom-developer] "has" and "with" (was curious algebra failure)

[Bill Page]

On 8/12/07, Gabriel Dos Reis wrote:
> On Sun, 12 Aug 2007, Bill Page wrote:
> | ...
> | It should be fine because of rule 2:
> |
> | 2. Anonymous types are equivalent when structurally equivalent
>
> The parameter S in RepeatedSquare(S) of the category
>
>    SetCategory with "*": (%,%) -> %
>
> but RepeatedSquare is being called with a domain of a named category (Monad).
> Rule 2 says:
>
>   2. Anonymous types are equivalent when stucturally equivalent
>
> How would it apply?
>

Why do you think:

     import RepeatedSquaring(%)

is referring to a named category? Let it refer to the category-value,
not it's name.

Regards,
Bill Page.