A Functional Representation of the Hyperspace Monad
نویسنده
چکیده
A functional representation of the hyperspace monad, based on the semilattice structure of function space, is constructed.
منابع مشابه
Idempotent Probability Measures, I
The set of all idempotent probability measures (Maslov measures) on a compact Hausdorff space endowed with the weak* topology determines is functorial on the category Comp of compact Hausdorff spaces. We prove that the obtained functor is normal in the sense of E. Shchepin. Also, this functor is the functorial part of a monad on Comp. We prove that the idempotent probability measure monad conta...
متن کاملOn some properties of the hyperspace $theta (X)$ and the study of the space $downarrowtheta C(X)$
The aim of the paper is to first investigate some properties of the hyperspace $theta(X)$, and then in the next article it deals with some detailed study of a special type of subspace $downarrowtheta C(X)$ of the space $theta (Xtimes mathbb I)$.
متن کاملOn the Monad of Internal Groupoids
We deeply analyse the structural organisation of the fibration of points and of the monad of internal groupoids. From that we derive: 1) a new characterization of internal groupoids among reflexive graphs in the Mal’cev context; 2) a setting in which a Mal’cev category is necessarily a protomodular category.
متن کاملA monad of valuation locales
If X is a locale then its valuation locale VX has for its points the valuations on X. V is the functor part of a strong monad on the category of locales, a localic analogue of the Giry monad. It is commutative, i.e. product valuations exist and a Fubini Theorem holds. An analogue of the Riesz Representation Theorem holds. Concrete representations are given for the tensor product of lattices and...
متن کاملThe connected Vietoris powerlocale
The Vietoris powerlocale V X is a point-free analogue of the Vietoris hyperspace. In this paper we introduce and study a sublocale V X whose points are those points of V X that (considered as sublocales of X) satisfy a constructively strong connectedness property. V c is a strong monad on the category of locales. The strength gives rise to a product map × : V X × V Y → V (X × Y ), showing that ...
متن کامل