Topologies and all that -- A Tutorial
Ernst–Erich Doberkat · arXiv (Cornell University) · 2015
This is a brief introduction to the basic concepts of topology. It includes the basic constructions, discusses separation properties, metric and pseudometric spaces, and gives some applications arising from the use of topology in computing.