Post #2519203

@abuseofnotation@mathstodon.xyz I think the advantage of set theory is that, although it is abstract, the notion is extremely basic and obvious in a way that doesn't apply to categories. Types are also fairly obvious, at least for programmers. The need to develop it axiomatically causes some complication, but the nice thing is that the axioms are not, in practice, limiting. Set theorists did the work of showing that all normal mathematical objects can be formalised as sets, and then the Separation Scheme gives non-set-theorists exactly what you had in Naïve Set Theory.