1 citations · 1 across the 1 of their papers we have counts for
1 paper
Marco Benini
A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive. Usually, the proof of this small result is carried on usi…