17 citations · 72 across the 42 of their papers we have counts for
Showing 2007 · math.CTShow all
2 papers · 2 filters
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.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…