Lecture notes, IMA seminar 23 October 2014

Lecture notes for the seminar talk at the Institute of Mathematics and its Applications, 23 October 2014, on approaching a topos-theoretic foundation for persistent homology.