There’s a table on several nlab articles, for example at the bottom of accessible categories that relates “rich categories” with “rich preorders/posets”.

Most of it makes sense to me (Topos - Locale, Powerset - Presheaf), but I don’t understand the “accessible” column.
Specifically, the definition of accessible categories are categories as having directed colimits and a generating set of compact objects, is almost word for word the definition of *algebraic domain* used in for example Abramsky and Jung’s notes on domain theory, which is that it is a poset with directed suprema and a basis of compact objects.

It seems to me like these are the appropriate analogous concepts, for example the Ind-completion of a small category is the analogue of the Ideal completion of a poset.

So why is it that in the table posets are the analogue of accessible categories? I’m guessing there is a different analogy than I am thinking about?

]]>