Lecture 13 (Topology 2020)