The Kreisel Lawvere Debate on Categories and the Foundations of Mathematics

Update Required To play the media you will need to either update your browser to a recent version or update your Flash plugin.