Mossakowski: > ------------------------------- > | | > | \/ > Logic <---> Set theory <--> Category theory > /\ | > | | > ------------------------------- I have no idea what this diagram is supposed to mean. -- Steve