generated at
押し出し
pushout
ファイバー余積とも言う
とある極限
引き戻しの極限




添字圏は↓