ยง Universal coproduct / stable under pullback