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

digraphsrepresentationBrauer algebrascategories of proofsIdentity criteria for proofs

Mathematics Subject Classification ID

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

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)

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

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)