Related papers: A quotient-like construction involving elementary …
The topology of a space $X$ is generated by a family $\mathcal{C}$ of its subsets provided that a set $A\subseteq X$ is closed in $X$ if and only if $A\cap C$ is closed in $C$ for each $C\in \mathcal{C}$. A space $X$ is a $k$-space…
We study visual representation learning from a structural and topological perspective. We begin from a single hypothesis: that visual understanding presupposes a semantic language for vision, in which many perceptual observations correspond…
In [1] we introduced the concept of structured space, which is a topological space that locally resembles some algebraic structures. In [2] we proceeded the study of these spaces, developing two cohomology theories. The aim of this paper is…
The aim of this short note is to develop a (co)homology theory for topological spaces together with the specialisation preorder. A known way to construct such a (co)homology is to define a partial order on the topological space starting…
We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We…
In this paper we consider the classification of minimal cellular structures of spaces of topological complexity two under some hypotheses on there graded cohomological algebra. This continues the method used by M.Grant et al. in [1].
In 1914, F. Hausdorff defined a metric on the set of closed subsets of a metric space $X$. This metric induces a topology on the set $H$ of compact subsets of $X$, called the Hausdorff topology. We show that the topological space $H$…
A quotient construction defines an abstract type from a concrete type, using an equivalence relation to identify elements of the concrete type that are to be regarded as indistinguishable. The elements of a quotient type are…
A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly,…
We show that there is a bijection between the subtoposes of the classifying topos of a geometric theory T over a signature L and the closed geometric theories over L which are `quotients' of the theory T; next, we analyze how classical…
The covering type of a space $X$ is defined as the minimal cardinality of a good cover of a space that is homotopy equivalent to $X$. We derive estimates for the covering type of $X$ in terms of other invariants of $X$, namely the ranks of…
The article is devoted to a structure of topological spaces related with topological quasigroups. Regular and complete spaces over topological quasigroups are studied. Separations and embeddings are also investigated for them. Their…
In this paper, for a metrizable space $Z$, we consider the space of metrics that generate the same topology of $Z$, and that space of metrics is equipped with the supremum metrics. For a metrizable space $X$ and a closed subset $A$ of it,…
A concept of quasi-metrizability with respect to a bornology of a generalized topological space in the sense of Delfs and Knebusch is introduced. Quasi-metrization theorems for generalized bornological universes are deduced. A uniform…
Every topological space has a Kolmogorov quotient that is obtained by identifying topologically indistinguishable points, that is, points that are contained in exactly the same open sets. In this survey, we look at the relationship between…
We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space $\left(X,\tau\right)$ is definably homeomorphic to an affine definable space…
If $X$ is a (topological) space, the $n$th finite subset space of $X$, denoted by $X(n)$, consists of $n$-point subsets of $X$ (i.e., nonempty subsets of cardinality at most $n$) with the quotient topology induced by the unordering map…
A datatset $X$ on $R^2$ is a finite topological space. Current research of a dataset focuses on statistical methods and the algebraic topological method \cite{carlsson}. In \cite{hu}, the concept of typed topological space was introduced…
We introduce the notion of a (strongly) topological lattice $\mathcal{L}=(L,\wedge ,\vee)$ with respect to a subset $X\subsetneqq L;$ aprototype is the lattice of (two-sided) ideals of a ring $R,$ which is(strongly) topological with respect…
The paper is concerned with defining a topology on the set of ideals of codimension d of the algebra C^\infty(M,R) with M being a compact smooth manifold. Its main property is that it is compact Hausdorff and it contains as a subspace the…