Related papers: A quotient-like construction involving elementary …

This is an introduction to the subject of the differential topology of the space of smooth loops in a finite dimensional manifold. It began as the background notes to a series of seminars given at NTNU and subsequently at Sheffield. I am…

In this paper we introduce several quantitative methods for the lambda-calculus based on partial metrics, a well-studied variant of standard metric spaces that have been used to metrize non-Hausdorff topologies, like those arising from…

Many classically used function space structures (including the topology of pointwise convergence, the compact-open topology, the Isbell topology and the continuous convergence) are induced by a hyperspace structure counterpart. This scheme…

Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…

We establish the following uniformization result for metric spaces $X$ of finite Hausdorff 2-measure. If $X$ is homeomorphic to a smooth 2-manifold $M$ with non-empty boundary, then we show that $X$ admits a quasiconformal almost…

For a space $X$ let $\mathcal{K}(X)$ be the set of compact subsets of $X$ ordered by inclusion. A map $\phi:\mathcal{K}(X) \to \mathcal{K}(Y)$ is a relative Tukey quotient if it carries compact covers to compact covers. When there is such a…

In this PhD thesis, we give a new geometric approach to higher Teichm\"uller theory. In particular we construct a geometric structure on surfaces, generalizing the complex structure, and we explore its link to Hitchin components. The…

Given a topological ring $R$, we study semitopological $R$-modules, construct their completions, Bohr and borno modifications. For every topological space $X$, we construct the free (semi)topological $R$-module over $X$ and prove that for a…

Let $A$ be a commutative and unital $\mathbb{R}$-algebra, and $M$ be an Archimedean quadratic module of $A$. We define a submultiplicative seminorm $\|\cdot\|_M$ on $A$, associated with $M$. We show that the closure of $M$ with respect to…

Why is the manifold topology in a spacetime taken for granted? Why do we prefer to use Riemann open balls as basic-open sets, while there also exists a Lorentz metric? Which topology is a best candidate for a spacetime; a topology…

The global shape (topology) of the Universe is not derivable from General Relativity but should be determined by observations. Here we propose a method for estimation of this shape using patterns of fundamental physical parameters, for…

Persistence modules are a central algebraic object arising in topological data analysis. The notion of interleaving provides a natural way to measure distances between persistence modules. We consider various classes of persistence modules,…

We show that there are homotopy equivalences $h:N\to M$ between closed manifolds which are induced by cell-like maps $p:N\to X$ and $q:M\to X$ but which are not homotopic to homeomorphisms. The phenomenon is based on construction of…

Let $k$ be an algebraically closed field. Let $\Lambda$ be a noetherian commutative ring annihilated by an integer invertible in $k$ and let $\ell$ be a prime number different from the characteristic of $k$. We prove that if $X$ is a…

We investigate $\mathcal F$-Borel topological spaces. We focus on finding out how a~complexity of a~space depends on where the~space is embedded. Of a~particular interest is the~problem of determining whether a~complexity of given space $X$…

We prove that a model structure on a relative $\infty$-category $(M,W)$ gives an efficient and computable way of accessing the hom-spaces $hom_{M[[W^{-1}]]}(x,y)$ in the localization. More precisely, we show that when the source $x \in M$…

Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification…

It is expected that the $D$-topology makes every diffeological vector space into a topological vector space. We show that it is the case for a large class of diffeological vector spaces via $k_\omega$-space theory, but not so in general.…

The subject of topological defects has become a very attractive field of study given its apparent relevance to as diverse systems as the early universe and condensed matter. As usually envisaged the topology of the manifold M of the minima…

In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that…