Lecture 15 (Topology 2020)