A Theory of Polyhedra