Re: Explanations

Let me mention here the essay "Mathematics, morally" by Eugenia which deserves to be more widely known: http://cheng.staff.shef.ac.uk/morality/ If I may summarize, one of the most interesting points in this essay is that Eugenia claims that category theory is "morally complete": everything which is morally true, is also provable. Or in the terms of this conversation's subject: Every categorical truth has an explanatory, "moral" proof. Cheers, Uli [For admin and other information see: http://www.mta.ca/~cat-dist/ ]