Completing Simple Valuations in K-categories

Xiaodong Jia, Michael Mislove

We prove that Keimel and Lawson's K-completion Kc of the simple valuation monad Vs defines a monad Kc o Vs on each K-category A. We also characterize the Eilenberg-Moore algebras o…