This page has moved to http://www.ml-shopping.com/wiki/Categorical_logic.html.