  A self-contained exposition is given of the topological and Galois-theoretic
properties of the category of combinatorial 1-complexes, or graphs, very much
in the spirit of Stallings. A number of classical, as well as some new results
about free groups are derived.
