A Brauerian representation of split preorders

DOI10.1002/MALQ.200310063MaRDI QIDQ4452452zbMATH OpenOpenAlexFDO

Authors Kosta Došen, Zoran Petrić

Publication date 12 February 2004

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0211277

zbMATH Keywords

Brauer algebrascategories of proofsdigraphsIdentity criteria for proofsrepresentation

Mathematics Subject Classification ID

Structure of proofs (03F07) Categorical logic, topoi (03G30) Directed graphs (digraphs), tournaments (05C20) Representation theory of associative rings and algebras (16G99) Graphs, diagram schemes, precategories (18A10) Foundations, relations to logic and deductive systems (18A15)

Abstract: Split preorders are preordering relations on a domain whose composition is defined in a particular way by splitting the domain into two disjoint subsets. These relations and the associated composition arise in categorial proof theory in connection with coherence theorems. Here split preorders are represented isomorphically in the category whose arrows are binary relations, where composition is defined in the usual way. This representation is related to a classical result of representation theory due to Richard Brauer.

Recommendations

• Syntax for split preorders
• Generality of proofs and its Brauerian representation
• scientific article; zbMATH DE number 440699
• scientific article; zbMATH DE number 672333
• scientific article; zbMATH DE number 2152050

Cited in

(10)

• Syntax for split preorders
• Schreier split extensions of preordered monoids
• Coherence for star-autonomous categories
• Isomorphic formulae in classical propositional logic
• Simplicial Endomorphisms
• Spheres as Frobenius objects
• Coherence for modalities
• Representing conjunctive deductions by disjunctive deductions
• Medial commutativity
• Equality of proofs for linear equality

This page was built for publication: A Brauerian representation of split preorders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452452)