Categories of descent data

Let us work over the etale site $\mbox{Aff}/S$ (for the sake of definiteness) for some fixed base scheme $S$, where the covers are jointly surjective etale maps $\{ U_i \rightarrow U\}_{i\in I}$ (and $I$ is finite if you like). Let us also consider a prestack $F$ fibred in groupoids. Recall the definition of a category of descent data $F(\{ U_i \rightarrow U\}_{i \in I})$ associated to a cover $\{ U_i \rightarrow U\}_{i \in I}$. The objects of this category are collections of elements $\xi_i\in F(U_i)$ together with morphisms $\phi_{ij}$ between their appropriate pullbacks satisfying the cocycle condition. This definition is the one appearing on p. 15 of "Champs algebriques" by Laumon & Moret-Bailly (among other sources, e.g., Vistoli's notes in "FGA explained").

However, one can also consider coverings $U^\prime \rightarrow U$ consisting of one element only. In $\mbox{Aff}/S$ starting with any covering one can obtain one of such form by taking $U^\prime := \bigsqcup U_i$. However, it is not clear to me how this passage to a cover with a single morphism interacts with the associated categories of descent data. I suspect, they should be equivalent (in "Champs algebriques" for instance, the authors switch to the latter when exhibiting the stackification of a prestack in (3.2)) but on the other hand I don't see how is one supposed to get a single $\xi \in F(U^\prime)$ starting off with the $\xi_i$ as above, let alone an equivalence of categories between $F(\{ U_i \rightarrow U\}_{i \in I})$ and $F(\{ U^\prime \rightarrow U\})$. Are these categories equivalent and what is a functor exhibiting this equivalence? And if not, why is one allowed to consider only coverings of the form $U^\prime \rightarrow U$ when constructing the stackification?

-

This mistake seems to be made all over the place; see also this question. As David has said, the context in which this is usually done is an extensive category with a topology which includes the extensive topology (whose covering families are those of the form $(U_i \to \coprod_i U_i)$).