73 citations · 445 across the 37 of their papers we have counts for
Showing 2014 · math.CTShow all
2 papers · 2 filters
math.CT2014★ 1 cited
Cartesian closed categories are distributive
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…
math.CT2014
A simplified definition of logically distributive categories
Marco Benini
In [Ben13], the notion of logically distributive category has been introduced to provide a sound and complete semantics to multi-sorted first-order logical theories based on intuit…