A Categorical Characterization of the Four Colour Theorem

Abstract

The surjectivity of epimorphisms in the category of planar graphs and edge-preserving maps follows from and is implied by the Four Colour Theorem. The argument that establishes the equivalence is not combinatorially complex.