Today's talk will start with the basics of $\text{CAT}(0)$ spaces. Firstly we will define $\text{CAT}(0)$ spaces with examples.
It is a geodesic metric space.
Therefore we are going to deal with metric spaces a lot. Then we will introduce a classification of isometries and a notion of
convexity.