@abuseofnotation@mathstodon.xyz
Post #2057062
2026-03-30 11:23 UTC
Replies (3)
-
@ActiveMouse@mathstodon.xyz 2026-03-30 11:44
@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.
-
@subjectsphinx@mathstodon.xyz 2026-03-30 13:07
@abuseofnotation@mathstodon.xyz aesthetically pleasing diagrams and font.
-
@fffluoride@mathstodon.xyz 2026-04-03 14:01
@abuseofnotation@mathstodon.xyz Got the email about this and read it on the train today (did the excercises in my head lol). For some reason it was extremely interesting to me and I ended up missing where I needed to leave the train 😅 I think you did a really good job on this chapter, really helped consolidate my knowledge imo I will read the rest... some time soon