F:D→C が関手のとき、Cone(F:D→C) = Cone(F) はFの錐の圏とする。一方、Cone(F)[A] は |Cone(F)| の部分集合で、A∈|C| を頂点とするF-錐の全体とする。G(A) := Cone(F)[A] として定義される対応は、反変関手にできる。GはFから作られた錐関手と言ってもいい…