Profinite Homotopy Theory
Summary
In this thesis the model structures defined by Geoffroy Horel and Gereon Quick on the categories of profinite groupoids and simplicial profinite sets, respectively, are studied. We fill in some gaps in the proofs of Geoffroy Horel and Gereon Quick, and also give a thorough treatment of pro-categories.