Re: [Axiom-developer] Curiosities with Axiom mathematical structures

[Ralf Hemmecke]

On 03/14/2006 01:43 AM, Gabriel Dos Reis wrote:
> "Bill Page" <address@hidden> writes:
>
> | I agree with Martin. One should interpret:
> | 
> |   if Integer has Monoid(*,1)
> | 
> | as the question of whether F = (*,1) is a functor from the category
> | containing Integer to Monoid, the category of monoids.
>
> 100% agreed.

But that looks like strange syntax to me. If I want to ask

  F(Integer) \in Ob(Monoid)

and I have to write "Integer has Monoid(*,1)" that does not really look 
natural to me.

Ralf