2002/11/18 by Kosta Došen, Dosen, K., Zoran Petrić +1
Arts and Humanities · Mathematics · #03F07 #05C20 #16G99 #18A15 #FOS: Mathematics #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Linguistics and Discourse Analysis #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.math/0211277
openalex publication_date 2002/11/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.