Authors: Došen, Kosta 
Petrić, Zoran 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: A Brauerian representation of split preorders
Journal: Mathematical Logic Quarterly
Volume: 49
Issue: 6
First page: 579
Last page: 586
Issue Date: 24-Nov-2003
Rank: M22
ISSN: 0942-5616
DOI: 10.1002/malq.200310063
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 and whose composition is defined in the usual way. This representation is related to a classical result of representation theory due to Richard Brauer.
Keywords: Brauer algebras | Categories of proofs | Digraphs | Identity criteria for proofs | Representation
Publisher: Wiley

Show full item record


checked on Jul 13, 2024

Page view(s)

checked on May 10, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.