pdf and yml for lecture 5 - topoi, sites and points