Skip to main content

All Questions

Filter by
Sorted by
Tagged with
19 votes
3 answers
1k views

Large categories vs. $\mathrm{U}$-categories: why is the loss of category-theoretic information inessential?

I've asked a related question about nine months ago here, however, apparently, I lacked expertise to ask the precise question I want to ask here, as I wish to revisit the matter of universes. I hope ...
Jxt921's user avatar
  • 1,115
7 votes
9 answers
7k views

Ultrainfinitism, or a step beyond the transfinite

Cantor has, in the immortal words of D. Hilbert, given all of us a paradise (or perhaps, I would rather say, a great vacation spot), the TRANSFINITE. $\aleph_0, \aleph_1,\aleph_2\dots$ the lists ...
Mirco A. Mannucci'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
5 votes
2 answers
1k views

Large cardinals without the ambient set theory?

In an attempt to understand a bit better large cardinals, I have been thinking along the following lines, which could be summarized under the slogan Talk about cardinals without the (ambient) ...
Mirco A. Mannucci's user avatar