A Brauerian representation of split preorders

DOI10.1002/MALQ.200310063zbMATH Open1035.03034arXivmath/0211277OpenAlexW2076812578MaRDI QIDQ4452452FDOQ4452452

Zoran Petrić, Kosta Došen

Publication date: 12 February 2004

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

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.

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)

Cited In (9)

• Schreier split extensions of preordered monoids
• Coherence for modalities
• Isomorphic formulae in classical propositional logic
• Equality of proofs for linear equality
• Medial commutativity
• REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS
• Coherence for star-autonomous categories
• Simplicial Endomorphisms
• Spheres as Frobenius objects

   Recommendations

• Syntax for split preorders 👍 👎
• Generality of proofs and its Brauerian representation 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)