Structural set theory
From Wikipedia, the free encyclopedia
In mathematics, a 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. Another example is SEAR (Sets, Elements, And Relations).[1]
The adjective "structural" comes from the structuralism in the philosophy of mathematics.
References
[edit ]- ^ "SEAR in nLab". ncatlab.org.
- Shulman, Michael (1 April 2019). "Comparing material and structural set theories". Annals of Pure and Applied Logic. 170 (4): 465–504. arXiv:1808.05204 . doi:10.1016/j.apal.201811002. ISSN 0168-0072.
- François G. Dorais, Back to Cantor?, a blog post
Further reading
[edit ]
Stub icon
This set theory-related article is a stub. You can help Wikipedia by expanding it.
This article needs additional or more specific categories . Please help out by adding categories to it so that it can be listed with similar articles. (December 2024)