finite product in nLab
Finite products are generated from the empty product (the terminal object) and binary products (those with two factors, often – but not always – understood by default under “product”.)
Similarly a finite coproduct is a coproduct of a finite number of summands. This is generated from the empty coproduct (the initial object) and binary coproducts.
Example
(categories with finite products are cosifted)
Let 𝒞\mathcal{C} be a small category which has finite products. Then 𝒞\mathcal{C} is a cosifted category, equivalently its opposite category 𝒞 op\mathcal{C}^{op} is a sifted category, equivalently colimits over 𝒞 op\mathcal{C}^{op} with values in Set are sifted colimits, equivalently colimits over 𝒞 op\mathcal{C}^{op} with values in Set commute with finite products, as follows:
For X,Y∈[𝒞 op,Set]\mathbf{X}, \mathbf{Y} \in [\mathcal{C}^{op}, Set] to functors on the opposite category of 𝒞\mathcal{C} (hence two presheaves on 𝒞\mathcal{C}) we have a natural isomorphism
lim⟶𝒞 op(X×Y)≃(lim⟶𝒞 opX)×(lim⟶𝒞 opY). \underset{\underset{\mathcal{C}^{op}}{\longrightarrow}}{\lim} \left( \mathbf{X} \times \mathbf{Y} \right) \;\simeq\; \left( \underset{\underset{\mathcal{C}^{op}}{\longrightarrow}}{\lim} \mathbf{X} \right) \times \left( \underset{\underset{\mathcal{C}^{op}}{\longrightarrow}}{\lim} \mathbf{Y} \right) \,.