GitHub repository: overcatbe/Topology
Description: an old scriptum of a topology lecture