Injective hulls as completions

Abstract

A preliminary attempt is made to place the theory of completions of boolean algebras and of partially ordered sets in a wider context. The theory and construction of injective hulls in abelian categories is generalised and it is demonstrated that any variety with enough injectives admits injective hulls. Then the methods developed are applied to a non-algebraic bicategory, that of ordered sets.