Metric Geometry

Dependency graphs for metric spaces, geodesics, curvature (CAT spaces), and hyperbolic geometry.

• Metric Spaces
• Geodesics and Length Spaces
• Curvature (CAT, Alexandrov)
• Hyperbolic Geometry