Topology lecture notes: