Characterizations of Forman curvature

We characterize Forman curvature lower bounds via contractivity of the Hodge Laplacian semigroup. We prove that Ollivier and Forman curvature coincide on edges when maximizing the Forman curvature over the choice of 2-cells. To this end, we translate between 2-cells and transport plans. Moreover, we give improved diameter bounds. We explicitly warn the reader that our Forman curvature notion does not coincide with Forman's original definition, but can be seen as generalization of the latter one.