General Topology
In this short note we give a negative answer to the following open question: \emph{Let $X$ be a $\sigma$-compact paratopological group. Does there exist a continuous isomorphism of $X$ onto a topological group $G$?} Specifically, we…
We investigate the local topological structure of non-metrizable topological groups through the lens of Tukey order and cofinal types. Motivated by recent advances in topological groups admitting an $\omega^\omega$-base, we introduce the…
Let $G$ be a compact group. The existence of certain $G$-homotopy dense subsets in a metrizable $G$-space $X$ plays a fundamental role, as it is equivalent to $X$ being a $G$-ANR. From this perspective, the present paper develops several…
K\"unzi and Yildiz introduced convexity structures in the sense of Takahashi for $T_{0}$-quasi-metric spaces. In this article, we continue this line of study on the Isbell-convex hull of an asymmetrically normed real vector space. Using the…
The category of monotone determined spaces is an extended topological framework for dcpos in domain theory. We first show that monotone determined spaces are exactly the spaces generated by one-point convergence spaces, and then naturally…
Let $(X,d)$ be a nonempty metric space and let $n\in \mathbb N^+$. We shall say that $T\colon X\to X$ is a graphic contraction of order $n$ if there exists $\alpha\in (0,1)$ such that the inequality $$ d(T^n x,T^{2n}x) \leqslant \alpha…
In this paper, it is shown that every right $\omega$-narrow strongly topological gyrogroup $G$ is right $\omega$-balanced by applying the gyrosemidirect product groups. Then we investigate the class of $\sigma$-compact strongly topological…
In this article, we develop an explicit categorical realization of sheafification based on colimits, products, and subobjects, emphasizing its behavior in algebraic and topological-algebraic settings. We prove that if $\mathcal{C}$ is a…
A space $X$ is called a generalized Namioka space (g$\mathcal{N}$-space), if for every compact space $Y$ and every separately continuous function $f\colon X\times Y\rightarrow\mathbb{R}$, there exists at least one point $x\in X$ such that…
Magnitude is an isometric invariant of metric spaces introduced by Leinster. Since its inception, it has inspired active research into its connections with integral geometry, geometric measure theory, fractal dimensions, persistent…
The Baire category theorem states that every complete pseudometric space is a Baire space. There are some results in metric spaces which have their analogue in uniform spaces, however this is not one of them. Nonetheless, since the Baire…
It is proved that any infinite Abelian topological group of prime exponent has an infinite maximally almost periodic subgroup.
It is proved that any countable topological vector space over a finite field $\mathbb F_p$ or, equivalently, any countable Abelian topological group of prime exponent has a closed discrete basis.
We compare quasi-graphs and generalized $\sin(1/x)$-type continua, which are two classes of continua that generalize topological graphs and contain the Warsaw circle as a nontrivial common element. We show that neither class is a subset of…
We introduce the median uniformity $\mathcal U_{\mathrm m}$, an intrinsic precompact convex uniform structure on a median algebra. It is Hausdorff under natural assumptions, for instance for finite-rank median algebras. In the Hausdorff…
In this paper, we extend the notion of directed clique complex to quivers and introduce an associated homology theory. By applying this construction to biquandle coloring quivers, we obtain new invariants of links. We then introduce a…
This short paper is a small contribution to the field of Boolean contact algebras. We analyze the nondefinability of the property of interior-connectedness, and we prove certain minimality conditions for algebras and spaces that can be used…
In this paper,we introduce the concept of GSI$_2$-convergence in $T_0$ spaces and the related concept of (strongly) QI$_2$-continuous spaces. It is proved that if GSI$_2$-convergence in $X$ is topological iff $X$ is strongly…
We consider pairs of maps $(f,g)$, where $f$ is an $n$-valued map and $g$ is an $m$-valued map, defined on connected finite polyhedra. A point $x$ such that $f(x)\cap g(x)\neq \emptyset$ is called a coincidence point of $f$ and $g$. A…
In this paper, we explore a taxonomy of connectivity for space-like structures. It is inspired by isolating posets of connected pieces of a space and examining its embedding in the ambient space. The taxonomy includes in its scope all…