text: Пусть F — диаграмма типа J в категории C. Конус в F — это объект N в C вместе с семейством морфизмов ψX : N → F(X), индексированным объектами X диаграммы J, такой что для любого морфизма f : X → Y в J верно F(f) o ψX = ψY.