Is it worth noting, in this jpeg, that the arithmetical
max(1-A, B)
for B^A coincides here with the Boolean
{not}-A or B
for the classical B => A? Cheers, -- Fred ------ Original Message ------ Received: Thu, 22 May 2008 08:54:54 PM EDT From: PETER EASTHOPE <peasthope@shaw.ca> To: categories@mta.ca Subject: categories: Re: A small cartesian closed concrete category
Folk,
At Fri, 16 May 2008 00:29:16 -0700 Robert L Knighten wrote, .. no morphism from 1 to 0 -- these are sets after all ...
At Fri, 16 May 2008 13:57:40 -0700 Toby Bartels wrote, .. map from 1 to 0. Surely ... a mistake?
Right oh, thanks. The diagram is patched. http://carnot.yi.org/FLcategory.jpg
Sorry for the poor quality. I kept the file small for sake of anyone using an old modem.
How about someone suggesting a name for this category. Seems worth posting as a SVG or PostScript for benefit of other novices such as me.
Thanks, ... Peter E.
-- http://carnot.yi.org/ http://carnot.pathology.ubc.ca/ http://members.shaw.ca/peasthope/