https://arxiv.org/api/DongZ5PWv7fPz3QTXoBiLtNtH7M 2026-03-26T15:56:28Z 5817 225 15 http://arxiv.org/abs/2401.03484v2 2025-11-09T15:04:31Z

Pursuing a new approach to the study of infinite games in combinatorics, we introduce the categories $\mathbf{Game}_{A}$ and $\mathbf{Game}_{B}$ and improve some classical results concerning topological games related to the duality between covering properties of $X$ and convergence properties of $\mathrm{C}_{\mathrm {p}}(X)$ by establishing the existence and key role of certain natural transformations. We then describe these ludic categories in various equivalent forms, viewing their objects as certain structured trees, presheaves, or metric spaces, and we thereby obtain their arboreal, functorial and metrical appearances. We use their metrical disguise to demonstrate a universality property of the Banach-Mazur game. The various equivalent descriptions come with underlying functors to more familiar categories which help establishing some important properties of the game categories: they are complete, cocomplete, extensive, cartesian closed, and coregular, but neither regular nor locally cartesian closed. We prove that their classes of strong epimorphisms, of regular epimorphisms, and of descent morphisms, are all distinct, and we show that these categories have weak classifiers for strong partial maps. Some of the categorical constructions have interesting game-theoretic interpretations.

2024-01-07T13:52:50Z Matheus Duzi Paul Szeptycki Walter Tholen http://arxiv.org/abs/2511.03472v2 2025-11-08T06:11:03Z

Given a group retraction $r: G \rightarrow H $, we construct a finite topological space $ X_r $ of height 1, together with a topological retraction $\overline{r}: X_r \rightarrow X_r $, such that the group of automorphisms $ \mathrm{Aut}(X_r) $ (or the group of self-homotopy equivalences $ \mathcal{E}(X_r) $) of $X_r$ is isomorphic to $ G $, and $ \mathrm{Aut}(\overline{r}(X_r)) $ (or $\mathcal{E}(\overline{r}(X_r)) $) is isomorphic to $ H$. Moreover, there is a natural map $\overline{r}' : \mathrm{Aut}(X_r) \rightarrow \mathrm{Aut}(\overline{r}(X_r)) $ that coincides with the original group retraction $ r $. As a direct consequence of this construction, we show that height 1 is the minimal height required to realize any finite group as the group of automorphisms (or the group of self-homotopy equivalences) of a finite topological space, except in the case where $ G $ is a symmetric group. In that unique case, the group can be realized by a finite topological space of height 0.

2025-11-05T13:53:15Z New reference added Pedro J. Chocano http://arxiv.org/abs/2404.13169v2 2025-11-07T12:28:15Z

We prove a number of results of the following common flavor: for a category $\mathcal{C}$ of topological or uniform spaces with all manner of other properties of common interest (separation / completeness / compactness axioms), a group (or monoid) $\mathbb{G}$ equipped with various types of topological structure (topologies, uniformities) and the corresponding category $\mathcal{C}^{\mathbb{G}}$ of appropriately compatible $\mathbb{G}$-flows in $\mathcal{C}$, the forgetful functor $\mathcal{C}^{\mathbb{G}}\to \mathcal{C}$ is monadic. In all cases of interest the domain category $\mathcal{C}^{\mathbb{G}}$ is also cocomplete, so that results on adjunction lifts along monadic functors apply to provide equivariant completion and/or compactification functors. This recovers, unifies and generalizes a number of such results in the literature due to de Vries, Mart'yanov and others on existence of equivariant compactifications / completions and cocompleteness of flow categories.

2024-04-19T20:36:06Z v2 matches published version, with typo fixes; 16 pages + references A. Chirvasitu, Monadic functors forgetful of (dis)inhibited actions, Theory Appl. Categ. {\bf 41} (2024), Paper No. 44, 1536--1556; MR4811433 Alexandru Chirvasitu http://arxiv.org/abs/2511.04059v1 2025-11-06T04:58:39Z

A space $X$ is M-separable (selectively separable) (Scheepers, 1999; Bella et al., 2009) if for every sequence $(Y_n)$ of dense subspaces of $X$ there exists a sequence $(F_n)$ such that for each $n$ $F_n$ is a finite subset of $Y_n$ and $\cup_{n\in \mathbb{N}} F_n$ is dense in $X$. In this paper, we introduce and study a strengthening of M-separability situated between H- and M-separability, which we call S-separability: for every sequence $(Y_n)$ of dense subspaces of $X$ there exists a sequence $(F_n)$ such that for each $n$ $F_n$ is a finite subset of $Y_n$ and for each finite family $\mathcal F$ of nonempty open sets of $X$ some $n$ satisfies $U\cap F_n\neq\emptyset$ for all $U\in \mathcal F$.

2025-11-06T04:58:39Z Debraj Chandra Nur Alam Dipika Roy http://arxiv.org/abs/2511.04049v1 2025-11-06T04:38:29Z

A space $X$ is H-separable (Bella et al., 2009) if for every sequence $(Y_n)$ of dense subspaces of $X$ there exists a sequence $(F_n)$ such that for each $n$ $F_n$ is a finite subset of $Y_n$ and every nonempty open set of $X$ intersects $F_n$ for all but finitely many $n$. In this paper, we introduce and study an ideal variant of H-separability, called $\mathcal{I}$-H-separability.

2025-11-06T04:38:29Z Debraj Chandra Nur Alam Dipika Roy http://arxiv.org/abs/2511.04038v1 2025-11-06T04:16:34Z

We study selection principles related to bornological covers in a topological space $X$ following the work of Aurichi et al., 2019, where selection principles have been investigated in the function space $C_\mathfrak{B}(X)$ endowed with the topology $τ_\mathfrak{B}$ of uniform convergence on bornology $\mathfrak{B}$. We show equivalences among certain selection principles and present some game theoretic observations involving bornological covers. We investigate selection principles on the product space $X^n$ equipped with the product bornolgy $\mathfrak{B}^n$, $n\in ω$. Considering the cardinal invariants such as the unbounding number ($\mathfrak{b}$), dominating numbers ($\mathfrak{d}$), pseudointersection numbers ($\mathfrak{p}$) etc., we establish connections between the cardinality of base of a bornology with certain selection principles. Finally, we investigate some variations of the tightness properties of $C_\mathfrak{B}(X)$ and present their characterizations in terms of selective bornological covering properties of $X$.

2025-11-06T04:16:34Z Debraj Chandra Subhankar Das Nur Alam http://arxiv.org/abs/2510.14474v2 2025-11-05T21:12:22Z

In this paper we discuss a new method to blend fractal attractors using the code map for the IFS formed by the Hutchinson--Barnsley operators of a finite family of hyperbolic IFSs. We introduce a parameter called blending coefficient to measure the similarity between the blended set and each one of the original attractors. We also introduce a discrete approximation algorithm and prove a rigorous error estimation used to approximate these new objects. Several simulation results are provided illustrating our techniques.

2025-10-16T09:19:00Z 23pages, 15 figures Elismar R. Oliveira http://arxiv.org/abs/2511.03648v1 2025-11-05T17:08:08Z

We prove that for arbitrary g, there is a surface K of genus g embedded in S4, which has finitely many extendable self-homeomorphisms' action on H1(K,Z), by defining a norm on H1(K,Z) and proving its additivity.

2025-11-05T17:08:08Z 9 pages, 1 figure Top. and its App 377(2026), 1-6 Qiling Liu 10.1016/j.topol.2025.109644 http://arxiv.org/abs/2407.20791v2 2025-11-05T16:37:01Z

We prove a rigidity result for maps between Čech-Stone remainders under fairly mild forcing axioms.

2024-07-30T12:55:36Z 8 pages, version to appear in the JSL Alessandro Vignati Deniz Yilmaz 10.1017/jsl.2025.10124 http://arxiv.org/abs/2511.03326v1 2025-11-05T09:44:58Z

This expository article presents a self-contained introduction to simplicial homology for finite simplicial complexes, emphasizing concrete computation and geometric intuition. Beginning with orientations of simplices and the construction of free abelian chain groups, the boundary operators are defined via the alternating-sum formula and shown to satisfy the chain-complex identity that the boundary of a boundary vanishes. Cycles and boundaries are then developed as kernels and images of the boundary maps, leading to homology groups that capture connected components, independent loops, and higher-dimensional voids. Throughout, detailed low-dimensional examples and step-by-step matrix calculations illustrate how to form boundary matrices, compute kernels and images, and identify generators and relations in \(H_p\). The presentation highlights universal properties of chain groups, clarifies sign conventions and induced orientations, and demonstrates the invariance of homology under combinatorial refinements, thereby connecting geometric features of spaces to computable algebraic invariants.

2025-11-05T09:44:58Z Sanjay Mishra http://arxiv.org/abs/2511.01426v1 2025-11-03T10:23:16Z

Priestley duality has diverse applications in various branches of mathematics. In this survey, we discuss its usefulness in pointfree topology. This is done by providing Priestley perspective on several key notions, including spatiality, sublocales, separation axioms, compactness, and local compactness. This approach yields a new perspective on a number of classic results in pointfree topology.

2025-11-03T10:23:16Z 30 pages Guram Bezhanishvili Sebastian D. Melzer http://arxiv.org/abs/2510.26439v2 2025-11-03T09:12:04Z

This paper resolves an open problem posed by Schweizer and Sklar in 1983. We establish that the binary operation $\tauTL$ is a triangle function on $\Delp$ if and only if the following three conditions hold: (a) $L$ is a continuous t-conorm on $[0, \infty]$ satisfying $(LCS)$; (b) $T$ is a t-norm on $[0, 1]$; and (c) $T$ is weakly left continuous, with left continuity required when $L$ is non-Archimedean.

2025-10-30T12:34:58Z 15 pages Hongliang Lai Mengyu Luo Jie Zhang http://arxiv.org/abs/2512.11803v1 2025-11-02T13:36:42Z

Let $(X,+,d)$ be an Abelian metric group and $A\subset X$. We investigate the spectre of a set $A$, defined as the set of all elements $z\in X$ such that for every $x\in A$ either $x+z \in A$ or $x-z \in A$. We consider the corresponding to this notion operator $S$ acting on the hyperspace of compact sets and examine its properties. Furthermore, we study the families of achievement sets and sets of $P$-sums in this hyperspace, as well as prove some properties of achievement sets in the plane.

2025-11-02T13:36:42Z Piotr Nowakowski Franciszek Prus-Wiśniowski Filip Turoboś http://arxiv.org/abs/2511.00864v1 2025-11-02T09:04:08Z

A CR-dynamical system is a pair $(X, G)$, where $X$ is a compact metric space and $G$ is a closed relation (CR) on $X$. In this paper, we introduce a new type of transitive point and transitivity in CR-dynamical systems. We develop a new tool called transitivity trees, which we use to determine the relationship between the different types of transitive points.

2025-11-02T09:04:08Z Sina Greenwood Andrew Wood http://arxiv.org/abs/2409.03531v2 2025-11-01T12:19:25Z

We prove that (a) the sections space of a continuous unital subhomogeneous $C^*$ bundle over compact metrizable $X$ admits a finite-index expectation onto $C(X)$, answering a question of Blanchard-Gogić (in the metrizable case); (b) such expectations cannot, generally, have ``optimal index'', answering negatively a variant of the same question; and (c) a homogeneous continuous Banach bundle over a locally paracompact base space $X$ can be renormed into a Hilbert bundle in such a manner that the original space of bounded sections is $C_b(X)$-linearly Banach-Mazur-close to the resulting Hilbert module over the algebra $C_b(X)$ of continuous bounded functions on $X$. This last result resolves quantitatively another problem posed by Gogić.

2024-09-05T13:44:40Z v2 amends the statement of Proposition 2.8 and adds Remark 2.9; 17 pages + references Alexandru Chirvasitu