A Brauerian representation of split preorders
نویسندگان
چکیده
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. Mathematics Subject Classification (2000): 03F07, 18A15, 16G99, 05C20
منابع مشابه
ar X iv : 0 90 2 . 07 42 v 1 [ m at h . C T ] 4 F eb 2 00 9 Syntax for Split Preorders
A split preorder is a preordering relation on the disjoint union of two sets, which function as source and target when one composes split preorders. The paper presents by generators and equations the category SplPre, whose arrows are the split preorders on the disjoint union of two finite ordinals. The same is done for the subcategory Gen of SplPre, whose arrows are equivalence relations, and f...
متن کاملar X iv : 0 90 2 . 07 42 v 4 [ m at h . C T ] 3 A pr 2 00 9 Syntax for Split Preorders
A split preorder is a preordering relation on the disjoint union of two sets, which function as source and target when one composes split preorders. The paper presents by generators and equations the category SplPre, whose arrows are the split preorders on the disjoint union of two finite ordinals. The same is done for the subcategory Gen of SplPre, whose arrows are equivalence relations, and f...
متن کاملar X iv : 0 90 2 . 07 42 v 2 [ m at h . C T ] 5 F eb 2 00 9 Syntax for Split Preorders
A split preorder is a preordering relation on the disjoint union of two sets, which function as source and target when one composes split preorders. The paper presents by generators and equations the category SplPre, whose arrows are the split preorders on the disjoint union of two finite ordinals. The same is done for the subcategory Gen of SplPre, whose arrows are equivalence relations, and f...
متن کاملar X iv : 0 90 2 . 07 42 v 3 [ m at h . C T ] 6 F eb 2 00 9 Syntax for Split Preorders
A split preorder is a preordering relation on the disjoint union of two sets, which function as source and target when one composes split preorders. The paper presents by generators and equations the category SplPre, whose arrows are the split preorders on the disjoint union of two finite ordinals. The same is done for the subcategory Gen of SplPre, whose arrows are equivalence relations, and f...
متن کاملOne-dimensional T-preorders
This paper studies T -preorders by using their Representation Theorem that states that every T -preorder on a set X can be generated in a natural way by a family of fuzzy subsets of X . Especial emphasis is made on the study of onedimensional T -preorders (i.e.: T -preorders that can be generated by only one fuzzy subset). Strong complete T -preorders are characterized.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Log. Q.
دوره 49 شماره
صفحات -
تاریخ انتشار 2003