3 citations · 4 across the 4 of their papers we have counts for
4 papers · 1 filter
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…
Kauffman Monoids
M. Borisavljevic, K. Dosen, Z. Petric
This paper gives a self-contained and complete proof of the isomorphism of freely generated monoids extracted from Temperley-Lieb algebras with monoids made of Kauffman's diagrams.
Coherence in Substructural Categories
Z. Petric
It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affi…
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…