Skip to main content

All Questions

Filter by
Sorted by
Tagged with
74 votes
8 answers
14k views

Category theory and set theory: just a different language, or different foundation of mathematics?

This is a question to research mathematicians, as well as to those concerned with the history and philosophy of mathematics. I am asking for a reference. In order to make the reference request as ...
Claus's user avatar
  • 6,937
43 votes
4 answers
5k views

Lists as a foundation of mathematics

I am wondering if there is a foundation of mathematics where not sets or "set-like objects" (such as objects of a suitable topos as in ETCS) are the primitive notion, but rather lists. These ...
Martin Brandenburg's user avatar
6 votes
1 answer
2k views

Surreal numbers and large cardinals

This is a question in two parts about the interaction of surreal numbers and large cardinals, in both cases just a request for references on the subject. Part 1 is about foundations. Much of the ...
Mike Battaglia's user avatar