Smooth metric measure spaces with non-negative curvature | Synapse