Topology Seminar: Galois descent and pro objects

A Galois descent theorem for n-types will be displayed and explained. This result is used, together with an appropriate version of the homotopy theory of pro objects, to give a descent criterion for diagrams of spaces which are defined on the etale site of a field. The need for such a criterion first arose in connection with the algebraic K-theory of fields.