categories - Category Theory list
 help / color / mirror / Atom feed
* Two Category
@ 2008-07-30  4:19 PETER EASTHOPE
  0 siblings, 0 replies; only message in thread
From: PETER EASTHOPE @ 2008-07-30  4:19 UTC (permalink / raw)
  To: categories

Folk,

Subsequent to my first attempt at
illustrating the Two Category, Fred
Linton added,
  "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?"

Another insight for me.  Thanks.

I've made a fresh sketch including a table
of notations.
http://carnot.yi.org/TwoCategory.jpg

Apologies for the very poor graphical
quality.  I am working on an SVG version.

Further criticisms and suggestions are
welcome of course.

Thanks,         ... Peter E.


-- 
http://members.shaw.ca/peasthope/
http://carnot.yi.org/ = http://carnot.pathology.ubc.ca/






^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2008-07-30  4:19 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-07-30  4:19 Two Category PETER EASTHOPE

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).