给定函子F : I → C，定义范畴Cone(F)如下：其对象为二元组(X, (φi))，其中X为C的对象，且对任意I的对象i，φi : X → F(i)为C中满足对I中任意态射ρ : i → j都有F(ρ)φi = φj的态射；从(X, (φi))到(Y, (ψi))的态射r为满足对任意I的对象i都有ψi r = φi的C的态射r : X → Y。
ɣ^ɣqr çqɣ^r ʁʑn tsqr : (en)z(cmn) çqɣ^r tɕhqr xʑr ʝʁn (en)kˈəʊn(cmn) n khqʑr qn çqr khqʑɣ^r thɣqr ɣr tɕhʑn tsr, (en)fˈaɪi(cmn) qn tsʁɣ^k thɣqr çɣr çqr khqʑɣ^r qɣr çqr ɣr tɕhqr (en)z(cmn) çɣr çqr khqʑɣ^r (en)z(cmn) (en)fˈaɪi(cmn) : (en)z(cmn) thɣqr tsʁɣ^k ʑr tsn çqr (en)z(cmn) tsʁɣ^k ɣr tɕhqr ʑqr ʁɣr (el)rˈo(cmn) : (en)z(cmn) çk tɕhr (el)rˈo(cmn) (en)fˈaɪi ˈiːkwəlz fˈaɪdʒ(cmn) çɣr ʑqr ʁɣr ʝɣ^n, (en)fˈaɪi(cmn) çʑr, (en)psˈaɪi(cmn) çɣr ʑqr ʁɣr (en)kjˌuːkjˈuː(cmn) thɣqr ʑr tsn çqr ɣr tɕhqr (en)z(cmn) çɣr çqr khqʑɣ^r (en)z(cmn) çk tɕhr (en)psˈaɪi kjˌuːkjˈuː ˈiːkwəlz fˈaɪi(cmn) çɣr çɣr ʑqr ʁɣr (en)kjˌuːkjˈuː(cmn) :