For an arbitrary rational polyhedron we consider its decompositions into Minkowski summands and, dual to this, the free extensions of associated pair semigroups. Being for semigroups is equivalent flatness corresponding algebras. Our main result phrased in this setup: category always contains initial object, which describe explicitly. These objects seem be related unique liftings log geometry. ...