>-----Original Message-----
>From: Moritz Lenz [mailto:[EMAIL PROTECTED] 
>Sent: Saturday, April 12, 2008 10:37 AM
>To: [EMAIL PROTECTED]
>Cc: p6l
>Subject: Re: cross operator and empty list
>
>[EMAIL PROTECTED] wrote:
>> Technically the Cartesian cross operator doesn't have an 
>identity value.
>
>It has.
>The set which contains only the emty set, or in perl terms ([]);
>
>Or am I missing something?
>
>Cheers,
>Moritz
>--
>Moritz Lenz
>http://moritz.faui2k3.org/ |  http://perl-6.de/
>
>

Should be a (any) 1 point set for the identity.

How about considering models from category theory, rather than set
theory ? Seems much more fruitful for computer issues than set theory.

-
Hugh Miller
e-mail: [EMAIL PROTECTED]

Reply via email to