## merge tree monoid

$$\def\Real{\mathbb{R}}\def\tree{\mathcal{T}}$$ Consider a path metric space $$M$$ and a continuous function $$f:M\to \Real$$. For simplicity, all such pairs here will have sublevel sets of $$f$$ compact (so that the function is bounded from below). Then one can form the so-called merge tree (see, e.g. here, for motivation, and some history), a new topological space (let’s …