17 citations · 72 across the 42 of their papers we have counts for
4 papers · 2 filters
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…
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…
Bicartesian Coherence
K. Dosen, Z. Petric
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the exi…