Ind-completion (source code)

= Ind-completion
{wiki=Ind-completion}

Ind-completion is a concept from the field of category theory, specifically related to the completion of a category with respect to a certain type of structure or property. In mathematical contexts, "ind-completion" often refers to a way of completing a category by formally adding certain limits or colimits.