Kreisel, Lawvere, Category Theory and the Foundations of ...
2005-11-29 · Claims 1. Kreisel has articulated a view about the foundations of mathematics and category theory that prevails among logicians even today; 2. Although this view had some credibility and force