For any surface bounded by a sphere is there always an upper bound of the set of all lengths of all shortest length geodesics between pairs of points?
Is $[0,1) \cup \{2\}$ a manifold with boundary? My issue is the $2$.