分裂前序的Brauerian表示
A Brauerian Representation of Split Preorders
摘要：
分裂前序是定义域上的前序关系，其组成是通过将定义域分裂成两个不相交的子集来定义的。这些关系和相关的组合出现在范畴证明论中，与相干定理有关。这里分裂的前序在其箭头是二元关系的范畴中同构地表示，其中复合以通常的方式定义。这个表示与Richard Brauer的表示论的一个经典结果有关。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
