Multiplicative structures over sup-lattices
Maria Cristina Pedicchio, Walter Tholen · Czech digital mathematics library · 1989
Modules over a not necessarily commutative multiplicative sup-lattice A are described as the Eilenberg-Moore algebras of a fairly elementary monad (_T, rj t fi) over Set with TX = A* which was considered before for commutative A, in particular when A is a frame.These modules are shown to carry a generalized metric structure, inducing another monadic functor.