Disjoint Coproduct

A Coproduct $A+B$ is disjoint if

• The coproduct inclusions $\iota_{1}:{{}(A,A+B)}$, $\iota_{2}:{{}(B,A+B)}$ are Monic
• The Pullback of the two coproduct inclusions exists and is an Initial Object.