Synthetic notions of curvature and applications in graph theory