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 |
