  We develop a definition of Ricci curvature on directed hypergraphs and
explore the consequences of that definition. The definition generalizes
Ollivier's definition for graphs. It involves a carefully designed optimal
transport problem between sets of vertices.
