preprint: Filtered colimits in the effective topos