Extensive Category

A Category $\mathcal{C}$ is extensive if

• All Finite Coproducts $A+B$ exists.
• Finite coproducts are Disjoint
• Base Changes of coproduct inclusions exist, and coproducts are stable under base change.