Sion's minimax theorem and the proximal point algorithm in Hadamard spaces

We obtain Sion’s minimax theorem in Hadamard spaces and discuss its applications. Among other things, we study several fundamental properties of resolvents of saddle functions in Hadamard spaces. An application to the proximal point algorithm for minimax problems in Hadamard spaces are also included.