Related papers: Probability, valuations, hyperspace: Three monads …

In earlier work, we had introduced the Kantorovich probability monad on complete metric spaces, extending a construction due to van Breugel. Here we extend the Kantorovich monad further to a certain class of ordered metric spaces, by…

Following Thurston's geometrisation picture in dimension three, we study geometric manifolds in a more general setting in arbitrary dimensions, with respect to the following problems: (i) The existence of maps of non-zero degree (domination…

This is the fourth part in the series of articles math.MG/0503397, math.MG/0503399, math.MG/0509512 where the theory of valuations on manifolds is developed. In this part it is shown that the filtration on valuations introduced in…

We introduce the category HG, whose objects are topological groupoids endowed with compatible measure theoretic data: a Haar system and a measure on the unit space. We then define and study the notion of weak-pullback in the category of…

This article presents an algebraic topology perspective on the problem of finding a complete coverage probability of a one dimensional domain $X$ by a random covering, and develops techniques applicable to the problem beyond the one…

With a complete Heyting algebra $L$ as the truth value table, we prove that the collections of open filters of stratified $L$-valued topological spaces form a monad. By means of $L$-Scott topology and the specialization $L$-order, we get…

In this paper we extend results on reconstruction of probabilistic supports of random i.i.d variables to supports of dependent stationary $\mathbb R^d$-valued random variables. All supports are assumed to be compact of positive reach in…

Here we classify all topological spaces where all bijections to itself are homeomorphisms. As a consequence, we also classify all topological spaces where all maps to itself are continuous. Analogously, we classify all measurable spaces…

We study the heredity of the classes of generalized metric spaces (for example, spaces with a $\sigma$-hereditarily closure-preserving $k$-network, spaces with a point-countable base, spaces with a base of countable order, spaces with a…

We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is…

Monads in category theory are algebraic structures that can be used to model computational effects in programming languages. We show how the notion of "centre", and more generally "centrality", i.e. the property for an effect to commute…

In three dimensions, a `master theory' for all Thurston geometries requires imaginary flux. However, these geometries can be obtained from physical three-dimensional theories with various additional scalar fields, which can be interpreted…

Assume that a finite set of points is randomly sampled from a subspace of a metric space. Recent advances in computational topology have provided several approaches to recovering the geometric and topological properties of the underlying…

In this paper we give a complete topological classification of orientation preserving Morse-Smale diffeomorphisms on orientable closed surfaces. For MS diffeomorphisms with relatively simple behaviour it was known that such a classification…

A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly,…

Persistent Topology studies topological features of shapes by analyzing the lower level sets of suitable functions, called filtering functions, and encoding the arising information in a parameterized version of the Betti numbers, i.e. the…

We explore the relationship between possibility measures (supremum preserving normed measures) and p-boxes (pairs of cumulative distribution functions) on totally preordered spaces, extending earlier work in this direction by De Cooman and…

We geometrically construct a homology theory that generalizes the Euler characteristic mod 2 to objects in the unoriented cobordism ring N_*(X) of a topological space X. This homology theory Eh_* has coefficients Z/2 in every nonnegative…

For an algebraically closed field $\mathbb{K}$, we consider a Galois $G$-covering $\mathcal{B} \to \mathcal{A}$ between locally bounded $\mathbb{K}$-categories given by bound quivers, where $G$ is torsion-free and acts freely on the objects…

It is widely known that when $X$ is compact Hausdorff, and when $T: X \to X$ and $f: X \to \mathbb{R}$ are continuous, \begin{equation*} P(T,f) = \sup_{\text{$\mu$: Radon probability}} \left( h_\mu(T) + \int f\, \mathrm{d}\mu \right),…