nLab Sets for Mathematics

Related entries




The basis of it all

 Set theory

set theory

Foundational axioms

foundational axioms

Removing axioms


This page collects material related to the book

which introduces set theory and the foundations of mathematics from a practical and category theoretic point of view known as structural set theory (“informal ETCS”).

category: reference

Last revised on April 19, 2023 at 09:38:17. See the history of this page for a list of all contributions to it.