https://arxiv.org/api/aD48QarEUh2a7bUjuXnh0p3qZB0 2026-03-26T09:59:25Z 5817 165 15 http://arxiv.org/abs/2512.18487v1 2025-12-20T19:53:07Z

We show that the category of sober étale groupoids and actors admits all small limits. This is achieved by computing the limits in the equivalent category of pseudogroups with pseudogroup morphisms, which we show admits a forgetful functor to the category of sets which creates limits. We give an alternative proof of the adjunction of Cockett and Garner in the specific setting of étale groupoids and pseudogroups which is a central tool for computing limits of sober étale groupoids.

2025-12-20T19:53:07Z 32 pages + 11 pages of appendices Jonathan Taylor http://arxiv.org/abs/2512.16820v1 2025-12-18T18:02:36Z

It is shown that if a compact metric space $(X, d)$ is bi-Hölder equivalent to an ultrametric space, then the logarithmic ratio $R(X,d)$ is finite. Conversely, if the logarithmic ratio $R(X,d)$ is finite and ${\A}^*_p (X) \ne \emptyset$ for some $p \in (1, \infty )$, then $(X, d)$ is bi-Hölder equivalent to an ultrametric space. It is also shown that for any $s \in [0, \infty]$ there exists a compact countable metric space $(X, d)$ with a unique cluster point such that the logarithmic ratio $R(X, d)$ is equal $s$. Moreover, we prove a bi-Hölder embedding result for a certain class of compact totally disconnected metric spaces.

2025-12-18T18:02:36Z H. Movahedi-Lankarani http://arxiv.org/abs/2512.16410v1 2025-12-18T11:07:59Z

The authors introduced in a previous paper the notion of fuzzy Gromov-Hausdorff distance between non-Archimedean compact fuzzy metric spaces, presenting a fuzzy version of the Gromov's completeness theorem. In this paper we present a fuzzy version of the Gromov's precompactness theorem which allows to deduce the classical theorem for compact metric spaces by means of the standard fuzzy metric associated to a metric space. This completes the previous work.

2025-12-18T11:07:59Z Fuzzy Sets and Systems 523C (2026) 109630 Sergio Macario Manuel Sanchis 10.1016/j.fss.2025.109630 http://arxiv.org/abs/2512.15593v1 2025-12-17T17:00:46Z

A set of sequences is said to converge simultaneously if there exists an infinite subset $H$ of the index set $ω$ such that all sequences converge when restricted to $H$. We discuss simultaneous convergence of sequences in the same or in different sequentially compact spaces; we link the results for different spaces to ones for the same space; we show that simultaneous convergence happens for less than $\mathfrak s$ sequences in spaces with weight bounded by $\mathfrak s$ and for less than $\mathfrak h$ sequences in general; we show a slight generalisation of these results in the context of Hausdorff spaces; and finally we investigate their optimality.

2025-12-17T17:00:46Z 14 pages Sirio Resteghini Cesare Straffelini http://arxiv.org/abs/2004.10541v3 2025-12-17T16:29:20Z

The Riemann surface of a holomorphic germ is the space generated by its Weierstrass analytic continuation. The Riemannium space of a holomorphic germ is the space generated by its Borel monogenic continuation. Riemannium spaces are metric, path connected, Gromov length spaces, not necessarily $σ$-compact. We construct an example of Riemannium space: The Cantor Riemannium.

2020-04-22T12:59:53Z 24 pages, 6 figures. Enlarged historical introduction an minor corrections Ricardo Pérez-Marco http://arxiv.org/abs/2512.15490v1 2025-12-17T14:37:49Z

We work in the realm of sets of reals. We prove that in the Miller model and in a model constructed by Goldstern-Judah-Shelah all universally meager sets have size at most $ω_1$. Some relations between combinatorial covering properties in these models allow to obtain the same limitations for sizes of Rothberger spaces and Hurewicz spaces with no homeomorphic copy of the Cantor set inside. It follows from our results that the existence of a strong measure zero set of size $ω_2$ does not imply the existence of a Rothberger space of size $ω_2$. We also prove that in the Miller model all strong measure zero sets have size at most $ω_1$.

2025-12-17T14:37:49Z 24 pages Valentin Haberl Piotr Szewczak Lyubomyr Zdomskyy http://arxiv.org/abs/2512.15291v1 2025-12-17T10:43:12Z

In this paper, we introduce the notions of I and I*-soft convergence of sequences of soft points in soft topological spaces and study some basic properties of these notions. Also we introduce the notions of I-soft limit points and I-soft cluster points of a sequence of soft points in a soft topological space and study their interrelationship

2025-12-17T10:43:12Z Prasanta Malik Anirban Paul http://arxiv.org/abs/2512.14371v1 2025-12-16T12:57:48Z

For infinite cardinals $κ,λ$ let $C(κ,λ)$ denote the class of all compact Hausdorff spaces of weight $κ$ and size $λ$. So $C(κ,λ)=\emptyset$ if $κ>λ$ or $λ>2^κ$. If F is a class of pairwise non-homeomorphic spaces in $C(κ,λ)$ then F is a set of size not greater than $2^κ$. For every infinite cardinal $κ$ we construct $2^κ$ pairwise non-embeddable pathwise connected spaces in $C(κ,λ)$ for $λ=\max\{2^{\aleph_0},κ\}$ and for $λ=\exp\log(κ^+)$. (If $κ$ is a strong limit then $\exp\log(κ^+)=2^κ$.) Additionally, for all infinite cardinals $κ,μ$ with $μ\leqκ$ we construct $2^κ$ pairwise non-embeddable connected spaces in $C(κ,κ^μ)$. Furthermore, for $κ=λ=2^θ$ with arbitrary $θ$ and for certain other pairs $κ,λ$ we construct $2^κ$ pairwise non-embeddable connected, linearly ordered spaces $X\in C(κ,λ)$ such that $Y\in C(κ,λ)$ whenever $Y$ is an infinite compact and connected subspace of $X$. On the other hand we prove that there is no space $X$ with this property if $λ$ is of countable cofinality and either $κ=λ$ or $λ$ is a strong limit.

2025-12-16T12:57:48Z Gerald Kuba http://arxiv.org/abs/2511.13511v2 2025-12-16T12:28:50Z

Consider a continuous bundle $\mathcal{E}\to X$ of Banach/Hilbert spaces or Banach/$C^*$-algebras over a paracompact base space, equivariant for a compact Lie group $\mathbb{U}$ operating on all structures involved. We prove that in all cases homogeneous equivariant subbundles extend equivariantly from $\mathbb{U}$-invariant closed subsets of $X$ to closed invariant neighborhoods thereof (provided the fibers are semisimple in the Banach-algebra variant). This extends a number of results in the literature (due to Fell for non-equivariant local extensibility around a single point for $C^*$-algebras and the author for semisimple Banach algebras). The proofs are based in part on auxiliary results on (a) the extensibility of equivariant compact-Lie-group principal bundles locally around invariant closed subsets of paracompact spaces, as a consequence of equivariant-bundle classifying spaces being absolute neighborhood extensors in the relevant setting and (b) an equivariant-bundle version of Johnson's approximability of almost-multiplicative maps from finite-dimensional semisimple Banach algebras with Banach morphisms.

2025-11-17T15:44:50Z v2 replaces Example 1.1 with a new variant and makes ancillary reference modifications; 17 pages + references Alexandru Chirvasitu http://arxiv.org/abs/2503.05579v2 2025-12-15T14:48:56Z

We characterize relative notions of syndetic and thick sets using, what we call, "derived" sets along ultrafilters. Manipulations of derived sets is a characteristic feature of algebra in the Stone-Čech compactification and its applications. Combined with the existence of idempotents and structure of the smallest ideal in closed subsemigroups of the Stone-Čch compactification, our particular use of derived sets adapt and generalize methods recently used by Griffin arXiv:2311.09436 to characterize relative piecewise syndetic sets. As an application, we define an algebraically interesting subset of the Stone-Čech compactification and show, in some ways, it shares structural properties analogous to the smallest ideal.

2025-03-07T17:03:38Z 33 pages, corrected typos and added examples Shea D. Burns Dennis Davenport Shakuan Frankson Conner Griffin John H. Johnson Malick Kebe http://arxiv.org/abs/2512.10784v2 2025-12-14T12:45:26Z

We prove that locally countably-compact Hausdorff topological groups $\mathbb{G}$ act continuously on their iterated joins $E_n\mathbb{G}:=\mathbb{G}^{*(n+1)}$ (the total spaces of the Milnor-model $n$-universal $\mathbb{G}$-bundles) as well as the colimit-topologized unions $E\mathbb{G}=\varinjlim_n E_n\mathbb{G}$, and the converse holds under the assumption that $\mathbb{G}$ is first-countable. In the latter case other mutually equivalent conditions provide characterizations of local countable compactness: the fact that $\mathbb{G}$ acts continuously on its first self-join $E_1\mathbb{G}$, or on its cone $\mathcal{C}\mathbb{G}$, or the coincidence of the product and quotient topologies on $\mathbb{G}\times \mathcal{C}X$ for all spaces $X$ or, equivalently, for the discrete countably-infinite $X:=\aleph_0$. These can all be regarded as weakened versions of $\mathbb{G}$'s exponentiability, all to the effect that $\mathbb{G}\times -$ preserves certain colimit shapes in the category of topological spaces; the results thus extend the equivalence (under the separation assumption) between local compactness and exponentiability.

2025-12-11T16:24:52Z v2 adds Theorem 1.5, strengthens the main result, and makes a number of other minor adjustments and reference additions; 13 pages + references Alexandru Chirvasitu http://arxiv.org/abs/2512.12064v1 2025-12-12T22:08:38Z

Maps $f,g\colon X\to X$ are called kin if they are forward iterates of the same map $\varphi\colon X\to X$, up to a composition with a commuting homeomorphism. Kin form an important class of commuting maps on $X$. In this paper, we characterize kin, and give an Euclidean-type algorithm which tests when two maps $f,g\colon X\to X$ are kin. Furthermore, we compute the topological entropy of diagonal maps induced by commuting diagonal kin diagrams.

2025-12-12T22:08:38Z 28 pages, 7 figures Ana Anušić Christopher Mouron http://arxiv.org/abs/2511.06241v2 2025-12-12T07:29:00Z

In this work, we present several new findings regarding the concepts of orbit-transitivity, strict orbit-transitivity, $ω$-transitivity, and $μ$-open-set transitivity for self-maps on generalized topological spaces. Let $(X,μ)$ denote a generalized topological space. A point $x \in X$ is said to be \textit{quasi-$μ$-isolated} if there exists a $μ$-open set $U$ such that $x \in U$ and $i_μ(U \setminus c_μ(\{x\})) = \emptyset$. We prove that $x$ is a quasi-$μ$-isolated point of $X$ precisely when there exists a $μ$-dense subset $D$ of $X$ for which $x$ is a $μ_D$-isolated point of $D$. Moreover, in the case where $X$ has no quasi-$μ$-isolated points, we establish that a map $f: X \to X$ is orbit-transitive (or strictly orbit-transitive) if and only if it is $ω$-transitive.

2025-11-09T05:53:43Z We want to revise the paper and extend some of its results M. R. Ahmadi Zand N. Baimani http://arxiv.org/abs/2512.10599v1 2025-12-11T12:49:31Z

We first introduce and investigate a new class of $T_0$ spaces -- strong R-spaces, which are stronger than both R-spaces and strongly well-filtered spaces. It is proved that any sup-complete poset equipped with the upper topology is a strong R-space and the Hoare power space of a $T_0$-space is a strong R-space. Hence the upper topology on a sup-complete poset is strongly well-filtered and the Hoare power space of a $T_0$-space is strongly well-filtered, which answers two problems recently posed by Xu.

2025-12-11T12:49:31Z 10 pages, 3 figures Xiaoquan Xu Yi Yang Lizi Chen http://arxiv.org/abs/2512.09614v1 2025-12-10T13:05:28Z

The $π$-weight spectrum for countable regular Fréchet-Urysohn spaces is the set of uncountable cardinals that are equal to the $π$-weight for some such space. We determine this $π$-weight spectrum in the standard Miller rational perfect set model and in the Random real model.

2025-12-10T13:05:28Z Alan Dow