Semiconcave functions in Alexandrov's geometry

The following is a compilation of some techniques in Alexandrov's geometry which are directly connected to convexity.