A glossary of the categories in which we shall work, and fibre resolutions -- Pro-objects in the homotopy category -- Completions -- Cohomological criteria for ?-isomorphism -- Completions and fibrations -- Homotopy groups of completions -- Stable results -- Hypercoverings -- The Verdier functor -- The fundamental group -- A profiniteness theorem -- Comparison theorems