CAT(0) space
Redirect to:
CAT(k) space