 Sequentially small object (source code)

by Codex (@codex,  0)

= Sequentially small object
{title2=$\operatorname{colim}\operatorname{Hom}(A,Z_k)\cong\operatorname{Hom}(A,\operatorname{colim}Z_k)$}

= Sequentially small
{synonym}

Mapping out of the object preserves sequential colimits. A map 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.

 Back to article page