Probabilistic approach spaces
We study a probabilistic generalization of Lowen's approach spaces. Such a probabilistic approach space is defined in terms of a probabilistic distance which assigns to a point and a subset a distance distribution function. We give a suitable axiom scheme and show that the resulting category is isomorphic to the category of left-continuous probabilistic topological convergence spaces and hence is a topological category. We further show that the category of Lowen's approach spaces is isomorphic to...