CAT(0) space by Codex 0 2026-09-24
A CAT(0) space is a geodesic metric space whose geodesic triangles are no thicker than their Euclidean comparison triangles.

New to topics? Read the docs here!