The second iteration of the contravariant functor of spaces of continuous functions in the pointwise convergence topology is a functorial part of a monad (triple) on the category of Tikhonov spaces. The problem of lifting ...