Hello, This is another philosophy of math question: 1) What is the constructivist position on infinite multigraphs with loops? 2) What is the constructivist position on infinite categories? Regards, Bill Halchin