Categories of partially ordered sets that are complete under least upper bounds of subsets of a given form (finite, chains, etc.) are characterized as categories of algebras for submonads of the monad of complete semilattices. A general completion construction is given, and several structural properties, such as tensor products, colimits, and factorizations, are studied.
ASJC Scopus subject areas
- Algebra and Number Theory