A hypercover of profinite sets as a limit of hypercovers of finite sets This is about a rather concrete problem that occurs in the middle of a lecture by Scholze. First I'll refer to the lecture, but then I'll state the problem.
In https://www.youtube.com/watch?v=q6Tv2vJJShg , at around the 22 minute mark, Peter Scholze claims that if you have a simplicial hypercover of a profinite set by profinite sets, then you can write it as a cofiltered limit of hypercovers of finite sets by finite sets. After a lot time of grappling with this technicality, I have finally given up and am hoping someone can help me.
Question: $S$ is a profinite set. $T_{\bullet}\to S$ is a simplicial hypercover of $S$ by profinite sets $T_i.$ Can we find some cofiltered poset $J,$ and some simplicial hypercovers $T_{\bullet, j} \to S_j,$ where $S_j$ is finite and each $T_{n,j}$ is finite, such that the cofiltered limit of the hypercovers $T_{\bullet, j} \to S_j$ is precisely our original hypercover $T_{\bullet}\to S$?

Currently, I can prove that $T_{\bullet}\to S$ is a cofiltered limit of certain simplicial objects; however, I do not know that these objects are hypercovers. My main difficulty is that the hypercover condition, namely that the map $T_{n+1, j} \to (\operatorname{cosk}_n\operatorname{sk}_n T_{\bullet, j})_{n+1}$ is surjective, seems to be very hard to keep true when constructing these sets $T_{n, j}.$
To elaborate a little more, let's think just about the case of $T_{1, j} \to (\operatorname{cosk}_0 \operatorname{sk}_0T_{\bullet, j})_1 = T_{0,j}\times_{S_j} T_{0, j}$ is surjective.
Assume that there is some index set $I$ so that $S = \lim_i S_i$ and $T_0 = \lim_i T_{0, i}.$ For an index $i,$ one might get the idea to try producing a simplicial hypercover of $S_i.$ A natural choice would be to first assume each projection map $S \to S_i$ and $T_0 \to T_{0, i}$ is surjective (assuming this loses no generality, up to changing how we present $S$ and $T_0$ as limits). Then surjectivity of $T_0\to S$ implies that $T_0\to S_i$ is surjective, which implies that there's some index $i'$ so that $T_0\to S_i$ factors through $T_{0, i'}.$
So, we try building a hypercover of $S_i$ by starting with $T_{0, i'} \to S_i.$ To go to the next stage, there's some list of conditions we want to satisfy; the first is that whatever object $X$ we use as our next term, there should be a surjection $X \to T_{0,i'} \times_{S_i} T_{0, i'}.$ I cannot seem to easily construct such an $X,$ mainly because the map $T_0 \times_S T_0 \to T_{0,i'} \times_{S_i} T_{0, i'}$ is not always surjective! (Imagine for example that $S_i = \{*\}$ is a singleton and $T_0 = T_{0, i'}$; then the latter fiber product is just $T_0 \times T_0,$ but the fiber product $T_0 \times_S T_0$ might end up being some proper subset of $T_0\times T_0$ is $S$ is bigger than $S_i$).
 A: I'm sorry for being cryptic.
The subtle point in the construction is that the maps $T_n\to T_{n,j}$ are not all surjective, i.e. one cannot construct this pro-system as a system of quotients.
By induction on $n$, one constructs a cofiltered system of $n$-skeletal simplicial hypercovers $T_{\bullet,j}^{(n)}\to S_j$ (of finite sets by finite sts) whose limit is the $n$-skeleton of $T_\bullet\to S$, where each inductive step is refining the previous one; in the end, one takes the limit over $n$ of the induced coskeletal simplicial hypercovers.
In the first step, one needs to write the surjection $T_0\to S$ as a limit of surjections of finite sets; this can be done by simply taking the cofiltered system of compatible finite quotients. Next, one needs to write $T_1$ as a cofiltered limit of surjections $T_{1,j}\to T_{0,j}\times_{S_j} T_{0,j}$. For this, we prove

Lemma. Let $X=\mathrm{lim}_i X_i$ be a profinite set written as a limit of finite sets $X_i$ along a cofiltered category $I$. Let $Y\to X$ be a surjection of profinite sets. Then there is a cofiltered category $J$ with a functor $g: J\to I$ and (functorial) surjections of finite sets $Y_j\to X_{g(j)}$ whose limit is $Y\to X$.

Admitting the lemma for the moment, one can find the desired $T_{1,j}\to T_{0,j}\times_{S_0} T_{0,j}$. But for higher $n$, one is in the similar situation, for the surjection $T_n\to (\mathrm{cosk}_{n-1} \mathrm{sk}_{n-1} T_\bullet)_n$ where the target already has a given presentation as a cofiltered limit of finite sets.
Thus, it remains to prove the lemma. For this, one considers the category $J$ whose objects $j\in J$ consist of an object $i\in I$ and a factorization of $Y\to X\to X_i$ into $Y\to Y_j\to X_i$ where $Y_j$ is finite and $Y_j\to X_i$ is surjective. A morphism $j\to j'$ is given by a map $i\to i'$ and a map $Y_j\to Y_{j'}$ making the obvious diagrams (from $Y$, and to $X_i$) commute.
One needs to see that $J$ is cofiltered, and that $Y$ is the limit of the $Y_j$'s. Given two $j,j'\in J$, one can first arrange via cofilteredness of $I$ that they map to the same $i\in I$. Then we have two maps $Y\to Y_j\to X_i$ and $Y\to Y_{j'}\to X_i$ where $Y_j\to X_i$ and $Y_{j'}\to X_i$ are surjective. We get a similar factorization over $Y_j\times_{X_i} Y_{j'}$, which is still finite and surjective over $X_i$, so we find some $j''$ dominating $j$ and $j'$. Now, given two morphisms $f,g: j\to j'$, we need to find some $j''$ mapping to $j$ equalizing $f$ and $g$. Again, we can assume that the diagram $f,g: j\to j'$ gets contracted to $i\in I$ (using that $I$ is cofiltered). Then we get two maps $Y_j\to Y_{j'}$ over $X_i$, and $Y$ factors over the equalizer $Z\subset Y_j$. This is finite, but not necessarily surjective over $X_i$! Still, as $Y\to X$ is surjective, there is some $i'\to i$ such that $Z\times_{X_i} X_{i'}\to X_{i'}$ is surjective. This defines the desired object $j''\in J$.
It remains to see that $Y\to \mathrm{lim}_j Y_j$ is bijective. Injectivity is easy to see (for any finite quotient $Y'$ of $Y$, $Y\to Y'\times X_i\to X_i$ defines an object of $J$). For surjectivity, the argument at the end of the last paragraph applies (one needs to see that for any $j$ there is some $j'$ such that $Y_{j'}\to Y_j$ factors over the image of $Y\to Y_j$, which was proved there).
