Name
Abstract | ||
|---|---|---|
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 for the category Rel, whose arrows are the binary relations between finite ordinals, and which has an isomorphic image within SplPre by a map that preserves composition, but not identity arrows. It was shown previously that SplPre and Gen have an isomorphic representation in Rel in the style of Brauer. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1016/j.apal.2012.10.008 | Annals of Pure and Applied Logic |
Keywords | Field | DocType |
18B10,18C15,16W30,03F05 | Topology,Subcategory,Discrete mathematics,Equivalence relation,Combinatorics,Algebraic structure,Binary relation,Preorder,Isomorphism,Frobenius algebra,Disjoint union,Mathematics | Journal |
Volume | Issue | ISSN |
164 | 4 | 0168-0072 |
Citations | PageRank | References |
3 | 0.53 | 8 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kosta Dosen | 1 | 143 | 25.45 |
| Zoran Petric | 2 | 40 | 10.82 |