A non-Euclidean geometry where space curves negatively, naturally suited for representing hierarchical and tree-like structures.