Okay. We got adjunctions.

But so far we've been working with preorders and posets.
How would one efficiently encode both preorders and posets and their operations?