Injective hulls as completions
Paul D. Bacsich · Glasgow Mathematical Journal · 1972
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.