CAT(0) group
In mathematics, a CAT(0) group is a finitely generated group with a group action on a CAT(0) space that is geometrically proper, cocompact, and isometric. They form a possible notion of non-positively curved group in geometric group theory.