basic constructions:
strong axioms
further
This page collects material related to the book
William Lawvere, Robert Rosebrugh,
Sets for Mathematics,
Cambridge UP 2003.
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”).
Practical Foundations of Mathematics
(web)
Practical Foundations for Programming Languages,
Cambridge University Press (2016), (webpage)