What can category theory encode that set theory could not encode, if anything? (Fwd from Quora)
5964
Are there areas of mathematics (current or future) that cannot be formalized in set theory?
74440
How does the axiom of regularity forbid self containing sets?
14512
Why cannot a set be its own element?
139992
Is power-associativity finitely axiomatizable?
74455
Can a single sentence be used to distinguish between isomorphic classes of finite structures?
3072
If the empty set is a subset of every set, why isn't $\{\emptyset,\{a\}\}=\{\{a\}\}$?
6904
questions about extremal epimorphisms in category theory
100245
Category of Grp is not a subcategory of Set
38533
What does "dual statement" mean exactly in category theory?
20004
Meta Theory when studying Set Theory
41937
Can one construct a non-measurable set without Axiom of choice?
113640
Why is there this strange contradiction between the language of logic and that of set theory?
36942
What does it mean that a set S tautologically implies wff $\tau$
50099
Example of incomplete, but decidable theory, and of complete and undecidable theory, question
148569
Embeddings $A → B → A$, but $A \not\cong B$?
152354
Why is an empty set not a terminal object in categories $\mathsf{Top}$ and $\mathsf{Sets}$?
141318
$\subset$ vs $\subseteq$ when *not* referring to strict inclusion