We study profinite completion of spaces in the model category of profinite spaces and construct a rigidification of the completion functors of Artin–Mazur and Sullivan which extends also to non-connected spaces. Another new aspect is an equivariant profinite completion functor and equivariant fibrant replacement functor for a profinite group acting on a space. This is crucial for applications where, for example, Galois groups are involved, or for profinite Teichmüller theory where equivariant completions are applied. Along the way we collect and survey the most important known results of Artin–Mazur, Sullivan and Rector about profinite completion of spaces from a modern point of view. So this article is in part of expository nature.
Digital Object Identifier: 10.2969/aspm/06310413