{"version":"1.0","type":"link","title":"Ind-completion - Newikis","description":"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.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}