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/