Related papers: A tripos based on compact Hausdorff spaces

Compact metric spaces form an important class of metric spaces, but the category that they define lacks many important properties such as completeness and cocompleteness. In recent studies of "metric domain theory" and Stone-type dualities,…

We study minimality for continuous actions of abelian semigroups on compact Hausdorff spaces with a free interval. First, we give a necessary and sufficient condition for such a space to admit a minimal action of a given abelian semigroup.…

We construct a compactification of the moduli space of twisted holomorphic maps with varying complex structure and bounded energy. For a given compact symplectic manifold $X$ with a compatible complex structure and a Hamiltonian action of…

We show that the two models of extensional type theory, those given by the category of equilogical spaces and by the effective topos, are homotopical quotients of categories of 2-groupoids.

Previously, the authors used the insights of Robinson's non-standard analysis as a powerful tool to extend and simplify the construction of some compactifications of regular spaces. They now show that any Hausdorff compactification is…

We characterize when a compact, invariant, asymptotically stable attractor on a locally compact Hausdorff space is a strong deformation retract of its domain of attraction.

We characterize the class of homotopy pull-back squares by means of elementary closure properties. The so called Puppe theorem which identifies the homotopy fiber of certain maps constructed as homotopy colimits is a straightforward…

We consider the intersection map on the family of non-empty $\omega$-Scott-open sets of the lattice of opens of a topological space. We prove that in a certain class of topological spaces the intersection map forms a continuous retraction…

We investigate dynamical systems consisting of a locally compact Hausdorff space equipped with a partially defined local homeomorphism. Important examples of such systems include self-covering maps, one-sided shifts of finite type and, more…

We study the infimal value of the Hausdorff dimension of spaces that are H\"older equivalent to a given metric space; we call this bi-H\"older-invariant "H\"older dimension". This definition and some of our methods are analogous to those…

This is a survey of the twistor lifts of surfaces in $4$-dimensional spaces. In most part of this survey, the space is Euclidean $4$-space $E^4$. The definitions of the Gauss maps and the twistor lifts of surfaces in $E^4$ are given by…

We define a notion of (one-sided) shift spaces over infinite alphabets. Unlike many previous approaches to shift spaces over countable alphabets, our shift spaces are compact Hausdorff spaces. We examine shift morphisms between these shift…

We classify pointed spaces according to the first fundamental group of their reduced suspension. A pointed space is either of so-called totally path disconnected type or of horseshoe type. These two camps are defined topologically but a…

We observe that the category of topological space, uniform spaces, and simplicial sets are all, in a natural way, full subcategories of the same larger category, namely the simplicial category of filters; this is, moreover, implicit in the…

In the context of classical associations between classes of Banach spaces and classes of compact Hausdorff spaces we survey known results and open questions concerning the existence and nonexistence of universal Banach spaces and of…

We introduce the group-compact coarse structure on a Hausdorff topological group in the context of coarse structures on an abstract group which are compatible with the group operations. We develop asymptotic dimension theory for the…

We introduce the notion of compactifiable classes -- these are classes of metrizable compact spaces that can be up to homeomorphic copies ``disjointly combined'' into one metrizable compact space. This is witnessed by so-called compact…

In this paper we introduce and study so-called $k^*$-metrizable spaces forming a new class of generalized metric spaces, and display various applications of such spaces in topological algebra, functional analysis, and measure theory. By…

In a previous paper the second author introduced a compact topology on the space of closed ideals of a unital Banach algebra A. If A is separable then this topology is either metrizable or else neither Hausdorff nor first countable. Here it…

We study the general form of isomorphisms on the algebra of compactly supported complex-valued continuous functions defined on a locally compact Hausdorff space (the proof of which works for the algebra of $C^k-$differentiable functions on…