11 citations · 72 across the 39 of their papers we have counts for
Showing 2000Show all
2 papers · 1 filter
math.CT2000
Coherent Bicartesian and Sesquicartesian Categories
K. Dosen, Z. Petric
Coherence is here demonstrated for sesquicartesian categories, which are categories with nonempty finite products and arbitrary finite sums, including the empty sum, where moreover…
math.CT2000★ 10 cited
Bicartesian Coherence
K. Dosen, Z. Petric
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the exi…