グルーイングの圏？

Cが有限完備かつ有限余完備な圏だとして、C内の菱型の図式◇を考える。これは融合和（pushout 押し出し）になっているとする。図式として余極限錐（colimiting cone）になっている。

このような菱形を2つ並べた ◇◇ を考える。真ん中の上方は余スパンの形をしているので、ファイバー積を取る。下はスパンだから融合和をとる。すると、上側にファイバー積の◇、下側に融合和の◇を追加することになる。こうして出来た外側の大きな◇は、融合和になっているだろうか？

もしなっているなら、融合和を射とする圏ができる。