amalgamated sum; cocartesian square; fibered coproduct; fibered sum; push-out