3 citations · 6 across the 6 of their papers we have counts for
6 papers · 1 filter
Coherence and Confluence
K. Dosen, Z. Petric
Proofs of coherence in category theory, starting from Mac Lane's original proof of coherence for monoidal categories, are sometimes based on confluence techniques analogous to what…
Coherence for Star-Autonomous Categories
K. Dosen, Z. Petric
This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly's and Mac Lane's coherence theorem for symmetric monoidal closed categories. The p…
Coherence of Proof-Net Categories
K. Dosen, Z. Petric
The notion of proof-net category defined in this paper is closely related to graphs implicit in proof nets for the multiplicative fragment without constant propositions of linear l…
Abstraction and Application in Adjunction
K. Dosen
The postulates of comprehension and extensionality in set theory are based on an inversion principle connecting set-theoretic abstraction and the property of having a member. An ex…
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…
The Maximality of Cartesian Categories
Kosta Dosen, Zoran Petric
It is proved that equalities between arrows assumed for cartesian categories are maximal in the sense that extending them with any new equality in the language of free cartesian ca…