nLab Sets for Mathematics

This page collects material related to the book

• William Lawvere, Robert Rosebrugh,

  Sets for Mathematics,

  Cambridge UP 2003.

  doi:10.1017/CBO9780511755460

  (book homepage, GoogleBooks, pdf)

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”).

Related entries

• Paul Taylor

  Practical Foundations of Mathematics

  (web)

• Robert Harper,

  Practical Foundations for Programming Languages,

  Cambridge University Press (2016), (webpage)

category: reference