| In a standard way, every poset can be considered as a category, and monotone mappings between posets can be considered as functors. |
| We prove completeness results and algebraicity results for the poset of real traces and for the poset transfinite traces. |
| Since a Boolean algebra is a poset, it is also a category. |
| Any passing siteswap can be represented by using a juggling poset, but it is not so handy. |
| For example, Buhler-Graham-Wright introduced a notion of juggling poset. |
| Similarly, every graded rooted arborescence is a skeletal poset. |
