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