Sets for mathematics

Abstract sets and mappings

Sums, monomorphisms and parts

Finite inverse limits

Colimits, epimorphisms and the axiom of choice

Mapping sets and exponentials

Summary of the axioms and an example of variable sets

Consequences and uses of exponentials

More on power sets

Introduction to variable sets

Models of additional variation