Comment by Keith L (keith-l) on Why Rationalists Shouldn't be Interested in Topos Theory · 2024-06-02T18:58:01.198Z · LW · GW

You don't NEED to build CT on set theory. Like most math, the ideas are mostly independent of the foundations built under them. ZFC or whatever is just the default.