Re: A small cartesian closed concrete category

["Fred E.J. Linton" <fejlinton@usa.net>]

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/