[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Ralf Hemmecke
Subject: Re: [Axiom-developer] Curiosities with Axiom mathematical structures
Date: Tue, 14 Mar 2006 15:56:05 +0100
User-agent: Thunderbird 1.5 (X11/20051201)

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]