CAT(k) space

In the context of mathematics, particularly in geometric topology and metric geometry, a CAT(k) space is a type of metric space that satisfies certain curvature conditions, modeled on conditions defined by the CAT(0) and CAT(k) inequalities. The CAT conditions provide a way to generalize geometric notions of curvature to a broader class of spaces than just Riemannian manifolds.