section_heading: Univerzalno svojstvo
paragraph_text: Teorem (Proposition 2.7.1 u<ref>Kashiwara, Masaki; Schapira, Pierre, Categories and sheaves, Spriger 2006.) Neka su <math>C, D</math> kategorije pri čemu D dopušta kolimese malih dijagrama. Tada se svaki funktor <math>\eta: C \to D</math> razlaže na jedinstven način u kompoziciju <math>C \overset{h}\longrightarrow \hat{C} \overset{\widetilde{\eta}}\longrightarrow D</math> gdje je <math>h</math> Yonedino ulaganje i <math>\widetilde{\eta}: \hat{C} \to D</math> je funktor koji čuva kolimese i kojeg zovemo Yonedino proširenje funktora <math>\eta</math>.