Michael Ernst

In the foundations of mathematics there has been an ongoing debate about whether categorical foundations can replace set-theoretical foundations. The primary goal of this chapter is to provide a condensed summary of that debate. It addresses the two primary points of contention: technical adequacy and autonomy. Finally, it calls attention to a neglected feature of the debate, the claim that categorical foundations are more natural and readily useable, and how deeper investigation of that claim could prove fruitful for our understanding of mathematical thinking and mathematical practice.