Mathematics – Logic
Scientific paper
2002-11-18
Mathematics
Logic
12 pages, corrected version
Scientific paper
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.
Dosen Kosta
Petric Zoran
No associations
LandOfFree
A Brauerian Representation of Split Preorders does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Brauerian Representation of Split Preorders, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Brauerian Representation of Split Preorders will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-241470