Transfinite limits in topos theory