Introduction to Synthetic Mathematics (2015)
golem.ph.utexas.edu