nLab Sets for Mathematics

This page is to record the reference:

• William Lawvere, Robert Rosebrugh:

  
  

  Sets for Mathematics

  
  

  Cambridge University Press (2003)

  doi:10.1017/CBO9780511755460

  webpage, 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