Pure metric geometry: introductory lectures

We discuss only domestic affairs of metric spaces, leaving all external applications aside. Topics include universal spaces, injective spaces, Gromov--Hausdorff convergence, and ultralimits.