Limits in free coproduct completions (Q1910734): Difference between revisions

Let \({\mathcal C}\) be a small category with finite multicolimits, i.e., with multilimits for any finite diagrams. The paper describes the free coproduct completion \(\Sigma ({\mathcal C})\) of \({\mathcal C}\) as being equivalent to the category \({\mathcal C} onn {\mathcal F} ilt [{\mathcal F} lat ({\mathcal C}), {\mathcal S} et]\) of functors \({\mathcal F} lat ({\mathcal C}) \to {\mathcal S}et\) that preserve connected limits and filtered colimits, with \({\mathcal F} lat ({\mathcal C})\) the category of flat functors \({\mathcal C} \to {\mathcal S} et\). Then \(\Sigma ({\mathcal C})\) is proved to be finitely complete. Moreover \(\Sigma ({\mathcal C})\) is proved to be universal with respect to finite limits and small coproducts which are disjoints and stable under pullbacks, alternatively, \(\Sigma ({\mathcal C})\) is the finitely complete extensive completion of \({\mathcal C}\).