
From:  Ralf Hemmecke 
Subject:  Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures 
Date:  Tue, 14 Mar 2006 15:56:05 +0100 
Useragent:  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.
Ralf
[Prev in Thread]  Current Thread  [Next in Thread] 