Ind-completion
In mathematics, process for extending a category / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Ind-completion?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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).