Jump to content

Structural set theory

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by TakuyaMurata (talk | contribs) at 16:01, 5 December 2024 (TakuyaMurata moved page Draft:Structural set theory to Structural set theory). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.

Further reading