Convergence of semi-convex functions in CAT(1)-spaces

We generalize the results of Kuwae–Shioya and Bačák on Mosco convergence established for CAT(0)-spaces to the CAT(1)-setting, so that Mosco convergence implies convergence of resolvents which in turn imply convergence of gradient flows for lower-semicontinuous semi-convex functions. Our techniques utilize weak convergence in CAT(1)-spaces and also cover asymptotic relations of sequences of such spaces introduced by Kuwae-Shioya, including Gromov–Hausdorff limits.