On 03/14/2006 01:43 AM, Gabriel Dos Reis wrote:
"Bill Page" <[EMAIL PROTECTED]> 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
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
