> So why don't we see a huge "adoption" in math fields ? Because most math fields work at a higher level, and whether they consider set theory or category theo

> So why don't we see a huge "adoption" in math fields ? Because most math fields work at a higher level, and whether they consider set theory or category theory foundational doesn't matter. For instance, the defining property of ordered pairs is: `(a, b) = (c, d) iff a = c and b = d`. {a, {a,b}} is a (set-theoretic) model for ordered pairs, but it's not the only model. As long as a model exists, the question of "which model you're using" isn't relevant.