Climbing up the CPO Ladder

[Isaac-Morris]

Your work

이름 Your Name

Isaac Morris

사용한 도구 Tool You Used

Pencil, coloured watercolour markers

Description (about 3 sentences)

Climbing up the CPO Ladder is a representation of Complete Partially Ordered Sets (CPOs). I decided to represent the domain as the side a building, and the “subsumed by” relation (⊑) as a ladder. Each ⊑ gets larger, indicating that each one contains a larger subset of the domain than the previous. The lowest one is above a ⊥ (bottom), which has negligible width, indicating that bottom does not meaningfully cover part of the domain (i.e. the empty set ∅). In contrast, at the top of the building is ⊤ (top). This is wide, and covers the top of the whole building, indicating that it’s larger than the whole domain. In this way, I visually represent some key elements of a CPO - transitivity (by the increasing ladder width), and every chain having a LUB.