Continuous families of coalgebras Original Research Article

Given a small pretopos P, we consider the category image(P) of models of P indexed over topological spaces. By considering indexed categories of coalgebras, we show that for any indexed functor image, where Q is another small pretopos, the functor F1: Mod(P) → Mod(Q) preserves filtered colimits.