Ind-completion
In mathematics, process for extending a category / From Wikipedia, the free encyclopedia
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(C), are known as direct systems, they are functors from a small filtered category I to C.
The dual concept is the pro-completion, Pro(C).