Related papers: Strongly Pseudoradial Spaces
A compact Hausdorff space X is called a CO space, if every closed subset of X is homeomorphic to an open subset of X. Every successor ordinal with its order topology is a CO space. We find an explicit characterization of the class K of CO…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
The paper is devoted to a categorical study of the category of probabilistic metric spaces. The study is based on an isomorphic description of the category of probabilistic metric spaces. The isomorphic description was obtained in [3] and…
Shape(-and-scale) spaces - configuration spaces for generalized Kendall-type Shape(-and-Scale) Theories - are usually not manifolds but stratified manifolds. While in Kendall's own case - similarity shapes - the shape spaces are…
We investigate the automorphism groups of $\aleph\_0$-categorical structures and prove that they are exactly the Roelcke precompact Polish groups. We show that the theory of a structure is stable if and only if every Roelcke uniformly…
The notion of an anti-commutative (resp. commutative) rigid superalgebra is a natural generalisation of the notion of a Lie (resp. Jordan) superalgebra. Intuitively rigidity means that small deformations of the product under the structural…
We construct homeomorphisms of compacta from relations between finite graphs representing their open covers. Applied to the pseudoarc, this yields simple Fra\"iss\'e theoretic proofs of several important results, both old and new.…
\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are…
A weakly reflective submanifold is a minimal submanifold of a Riemannian manifold which has a certain symmetry at each point. In this paper we introduce this notion into a class of proper Fredholm (PF) submanifolds in Hilbert spaces and…
We introduce a generalization of sequential compactness using barriers on $\omega$ extending naturally the notion introduced in [W. Kubi\'{s} and P. Szeptycki, On a topological Ramsey theorem, \emph{Canad. Math. Bull.}, 66 (2023),…
We show that the categories PsTop and Lim of pseudotopological spaces and limit spaces, respectively, admit cofibration category structures, and that PsTop admits a model category structure, giving several ways to simultaneously study the…
Given a closed symplectic manifold, we construct invariants which count (a) closed rational pseudoholomorphic curves with prescribed cusp singularities and (b) punctured rational pseudoholomorphic curves with ellipsoidal negative ends. We…
We study linear orderings expanded by functions for successor and predecessor. The successor and predecessor on linear orderings capture the relatively intrinsically computably enumerable information about orderings in much the same way…
For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…
Let $E$ be a Banach space such that $E'$ has the Radon-Nikod\'ym property. The aim of this work is to connect relative weak compactness in the $E$-valued martingale Hardy space $H^{1}(\mu,E)$ to a convex compactness criterion in a weaker…
We consider an infinite dimensional separable Hilbert space and its family of compact integrable cocycles over a dynamical system f. Assuming that f acts in a compact Hausdorff space X and preserves a Borel regular ergodic measure which is…
Working in the framework of $(T, V)$-categories, for a symmetric monoidal closed category $V$ and a (not necessarily cartesian) monad $T$, we present a common account to the study of ordered compact Hausdorff spaces and stably compact…
We prove that there exist weakly countably determined spaces of complexity higher than coanalytic. On the other hand, we also show that coanalytic sets can be characterized by the existence of a cofinal adequate family of closed sets.…
A class of topological spaces is projective (resp., $\omega$-projective) if and only if projective systems of spaces (resp., with a countable cofinal subset of indices) in the class are still in the class. A certain number of classes of…
We show that a projective space P^\infty(Z/2) endowed with the Alexandrov topology is a classifying space for finite closed coverings of compact quantum spaces in the sense that any such a covering is functorially equivalent to a sheaf over…