>-----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]