CAT(0) space (source code)

= CAT(0) space
{c}
{wiki}

A CAT(0) space is a geodesic metric space whose geodesic triangles are no thicker than their Euclidean comparison triangles.