Ralf Krömer


University of Wuppertal

Category theory and matters of trust

In this talk, I intend to pursue the overall aim of the symposium by reading the 20th century debates related to category theory as a case study of how mathematics has been organized and done in order for it to be sound, and of questioning the grounds for having confidence in mathematical arguments. These debates are actually very rich in corresponding aspects, documented partly in earlier work of mine.