3 citations · 4 across the 4 of their papers we have counts for
Showing 2000 · math.CTShow all
3 papers · 2 filters
math.CT2000
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…
math.CT2000
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…
math.CT2000
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…