A Theory of Spherical Diagrams

We introduce an axiomatic theory of spherical diagrams as a tool to study certain combinatorial properties of polyhedra in ${\mathbb{R}}^3$, which are of central interest in the context of Art Gallery problems for polyhedra and other visibility-related problems in discrete and computational geometry.