Poset-enriched categories and free exact completions

Abstract

We give an elementary construction of the exact completion of a weakly lex category for categories enriched in the cartesian closed category $\mathsf{Pos}$ of partially ordered sets. Paralleling the ordinary case, we characterize categories which arise as such completions in terms of projective objects. We then apply the results to categories of Eilenberg-Moore algebras for monads on $\mathsf{Pos}$. In particular, we show that every variety of ordered algebras is the exact completion of a subcategory on certain free algebras, thereby answering a question of A. Kurz and J. Velebil.

Added material and reorganized section 4, other minor edits/additions