1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
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…