In mathematics, the ind-completion or ind-construction is the process of freely adding filtered colimits to a given category C. The objects in this ind-completed category, denoted Ind, are known as direct systems, they are functors from a small filtered category I to C. The dual concept is the pro-completion, Pro. Wikipedia