CatDat

Implication Details

Assumptions: disjoint finite coproducts, thin

Conclusions: trivial

Reason: For every object $A$ the two inclusions $A \rightrightarrows A + A$ must be equal, so their equalizer is $A$, but also $0$ since the coproduct is disjoint. Hence $A = 0$.