Mapping out of the object preserves sequential colimits. Amap factors through a finite stage, and two finite-stage maps agreeing in the colimit agree at a later stage. Relative sequential smallness restricts the diagrams to a stated class of morphisms.
