section_heading: Univerzalno svojstvo
paragraph_text: Konstrukciju <math>C \mapsto \hat{C} = \mathbf{Fct}(C^{\text{op}}, \mathbf{Set})</math> zovemo upotpunjenje kolimesima kategorije <math>C</math> jer vrijedi sljedeće univerzalno svojstvo: