How can set theory and category theory both be plausible theories for the foundations of mathematics? If these two theories are not mathematically equivalent, does it not mean that the rest of mathematics, when taken exclusively with either of these two theories as foundation, will be distinct; that is, unless these two theories are, in some way, equivalent.
Thanks