4 citations · 10 across the 7 of their papers we have counts for
5 papers · 2 filters
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…
Associativity as Commutativity
K. Dosen, Z. Petric
It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric or braided strictly monoidal categories,…
Relevant Categories and Partial Functions
K. Dosen, Z. Petric
A relevant category is a symmetric monoidal closed category with a diagonal natural transformation that satisfies some coherence conditions. Every cartesian closed category is a re…
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…