The Kreisel Lawvere Debate on Categories and the Foundations of Mathematics

xuan-gottfried YANG