[nine_k]

I suspect such claims might grow from the idea that you can replace set-theoretic constructs with category-theoretic constructs in certain places, and see what happens. It must be pretty fundamental, in the sense that dependence on a set theory lies in the foundation of many branches of mathematics. I can't say how universally such an approach can be applied; likely not very much.