\$$\\#\$$18 (John Baez)

>>> Puzzle 3: what do mathematicians usually call the thing that Fong and Spivak call a poset?

>> They are usually called [preordered sets](https://en.wikipedia.org/wiki/Category_of_preordered_sets).

> Yes! And category theorists often call them simply **preorders**.

Other times category theorists call them categories enriched in the Boolean category, \$$\\{ \mathrm{true}, \mathrm{false}\\}\$$.

Don't worry if you don't know what that means! I suspect we might be heading in the direction of understanding what this means, in particular understanding what Galois connections have to do with adjunctions (for those who know what adjunctions are!).

#39 Keith Lewis, this is partly responding to you.