3 citations · 4 across the 4 of their papers we have counts for
11 papers
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…
Negation and Involutive Adjunction
K. Dosen, Z. Petric
This note analyzes in terms of categorial proof theory some standard assumptions about negation in the absence of any other connective. It is shown that the assumptions for an invo…
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…
A New Proof of the Faithfulness of Brauer's Representation of Temperley-Lieb Algebras
K. Dosen, Z. Kovijanic, Z. Petric
The faithfulness of the orthogonal group case of Brauer's representation of the Brauer centralizer algebras restricted to their Temperley-Lieb subalgebras, which was established by…
G-dinaturality
Z. Petric
An extension of the notion of dinatural transformation is introduced in order to give a criterion for preservation of dinaturality under composition. An example of an application i…