So can we use the L word now? Or maybe I am missing why they are using posets for that. Is it a cute way of introducing Category Theory?