Functional representations of Lawson monads (Q5956929): Difference between revisions

The category of compact Haussdorff spaces is denoted by \({\mathcal C}omp\): A Lawson monad is a monad \(\mathbb{F}=(F,\eta,\mu)\) on \({\mathcal C}omp\) such that, for any \(t\in\mathbb{R}_+\), the closed interval \(I_t=[-t,t]\) is equipped with some \(\mathbb{F}\)-algebra structure in such a way that, for any \(t_1\leq t_2\) in \(\mathbb{R}_+\), \(I_{t_1}\) is a \(\mathbb{F}\)-subalgebra of \(I_{t_2}\) and, for each object \(X\) of \({\mathcal C}omp\), there exists a point-separating family of \(\mathbb{F}\)-algebra morphisms \((f_\alpha:F(X)\to I_\alpha)_{\alpha\in A}\). The monad \(\mathbb{V}=(V, \eta,\mu)\) on \({\mathcal C}omp\) defined, for an object \(X\), by \(V(X)=\prod_{\Phi\in C^0(X,\mathbb{R})}I_{\|\Phi\|}\), and in a natural way on morphisms, is such a Lawson monad. It is proved that the Lawson monads are precisely the submonads of the monad \(\mathbb{V}\). Such an embedding of submonad is characterized in the case of the inclusion hyperspace monad \(\mathbb{G}\). Other examples of Lawson monads are given: Vietoris monad \(\mathbb{H}\), probability measure monad \(\mathbb{P}\), superextension monad \(\mathbb{L}\).