Structural set theory
Appearance
In mathematics, structural set theory is an approach to set theory that emphasizes the aspect of sets as abstract structures. It is in contrast to a more traditional ZFC set-theory, which emphasizes membership. A prime example is Lawvere's Elementary Theory of the Category of Sets, which identifies sets in terms of relations to each other through functions.
References
- Shulman, Michael (1 April 2019). "Comparing material and structural set theories". Annals of Pure and Applied Logic. 170 (4): 465โ504. doi:10.1016/j.apal.2018.11.002. ISSN 0168-0072.