Continuous families of coalgebras (Q1295571)

Recall that a pretopos \({\mathcal P}\) is a left exact category with strict initial object, stable disjoint finite coproducts and stable quotients of equivalence relations. \({\mathcal M}od({\mathcal P})\), the category of models of \({\mathcal P}\), is the full subcategory of set-valued functors \({\mathcal P}\to{\mathcal S}ets\) which preserve the pretopos structure. These functors are called elementary functors. Following the work of Pare and Schumacher, \({\mathcal M}od({\mathcal P})\) can in fact be indexed over the category of topological spaces, where if \(X\) is a space then \({\mathcal M}od({\mathcal P})^X\) is the full subcategory of \({\mathcal S}h(X)\)-valued elementary functors \({\mathcal P}\to{\mathcal S}h(X)\), where \({\mathcal S}h(X)\) is the topos of sheaves on \(X\). Let \(\underline{{\mathcal M}od({\mathcal P})}\) denote the category of these \({\mathcal T}op\)-indexed models. The main result of the article is that if \(F:\underline{{\mathcal M}od({\mathcal P})}\to\underline{{\mathcal M}od({\mathcal Q})}\) is an indexed functor, where \({\mathcal P}\) and \({\mathcal Q}\) are pretoposes, then the induced functor \(F\): \({\mathcal M}od({\mathcal P})\to{\mathcal M}od({\mathcal Q})\) preserves filtered colimits.