11 citations · 72 across the 39 of their papers we have counts for
Showing 2007Show all
3 papers · 1 filter
math.CT2007★ 4 cited
Bicartesian Coherence Revisited
K. Dosen, Z. Petric
A survey is given of results about coherence for categories with finite products and coproducts. For these results, which were published previously by the authors in several places…
math.LO2007★ 3 cited
Coherence in Linear Predicate Logic
K. Dosen, Z. Petric
Coherence with respect to Kelly-Mac Lane graphs is proved for categories that correspond to the multiplicative fragment without constant propositions of classical linear first-orde…
math.CT2007
Intermutation
K. Dosen, Z. Petric
This paper proves coherence results for categories with a natural transformation called \emph{intermutation} made of arrows from to ${(A\vee C)\wedge(B…