This paper is the first part of a
study of profinite completion and profinite spaces from a functorial point of
view. The study aims at understanding mapping spaces, classifying spaces,
and other notions involving higher homotopies in the setting of profinite
spaces.