Category theory and the foundations of mathematics. (English) Zbl 0474.18001
MSC:
18A15 | Foundations, relations to logic and deductive systems |
03A05 | Philosophical and critical aspects of logic and foundations |
03B30 | Foundations of classical theories (including reverse mathematics) |
18B25 | Topoi |