nLab Sets for Mathematics

Related entries

Context

Foundations

foundations

The basis of it all

 Set theory

set theory

Foundational axioms

foundational axioms

Removing axioms

Mathematics

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.