Post #2926165

@MartinEscardo@mathstodon.xyz I quite regularly recommend Penelope Maddy's paper "What do we want a foundation to to: comparing set-theoretic, category-theoretic, and univalent approaches" is the most stimulating piece on the concept of "foundations" I've read to date. I don't agree with all the conclusions, but I agree that "There isn’t a unified concept of ‘foundation’; there are only mathematical jobs reasonably classified as ‘foundational’." I suspect your "universe of discourse" most closely aligns with Maddy's "Generous Arena", though I can imagine ways the alignment is not perfect. https://faculty.sites.uci.edu/pjmaddy/files/2023/09/What-do-we-want-a-foundation-to-do.pdf