§ Universal coproduct / stable under pullback

• Ref