Powerset operators; momads; Kleisli category; F-transform

Powerset operators in categories with relations defined by monads as morphisms are investigated. Such categories are, in fact, Kleisli categories of monads in clone form. Examples of such categories used in lattice-valued F-transform theory are presented. It is proven that for arbitrary powerset operator P in a category K with a monad T there exists a powerset operator (P) over tilde of the Kleisli category K-T, which extends the original powerset operator of the category K.