17 citations · 72 across the 42 of their papers we have counts for
8 papers · 1 filter
Symmetric Self-Adjunctions: A Justification of Brauer's Representation of Brauer's Algebras
K. Dosen, Z. Petric
A classic result of representation theory is Brauer's construction of a diagrammatical (geometrical) algebra whose matrix representation is a certain given matrix algebra, which is…
Symmetric Self-Adjunctions and Matrices
K. Dosen, Z. Petric
It is shown that the multiplicative monoids of Brauer's centralizer algebras generated out of the basis are isomorphic to monoids of endomorphisms in categories where an endofuncto…
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,…
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…
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…