Related papers: Topological lax comma categories
For a separable locally compact but not compact metrizable space $X$, let $\alpha X = X \cup \{x_\infty\}$ be the one-point compactification with the point at infinity $x_\infty$. We denote by $EM(X)$ the space consisting of admissible…
After two papers on weak cubical categories and {\it collarable} cospans, respectively, we put things together and construct a {\it weak} cubical category of cubical {\it collared} cospans of topological spaces. We also build a second…
In this article, we introduce the notion of a functor on coarse spaces being coarsely excisive- a coarse analogue of the notion of a functor on topological spaces being excisive. Further, taking cones, a coarsely excisive functor yields a…
We give an explicit description of the generator of finitely presented objects of the coslice of a locally finitely presentable category under a given object, as consisting of all pushouts of finitely presented maps under this object. Then…
We give a simple description of the topology of free topological vector space $\mathbb{V}(X)$ and the topology of the free locally convex space $L(X)$ over a Tychonoff space $X$. The case when $X$ is a pseudocompact space is also…
We investigate the homological behaviour of compactly generated triangulated categories under separable extensions. We show that homological invariants (finiteness of global dimension, gorensteinness and regularity) are preserved under such…
Symmetry and topology are essential principles in topological physics. Recently, the idea of sub-symmetry-protected topology -- where some of the original symmetries are broken while a remaining subset, called sub-symmetries, continues to…
Among plenty of applications, low-dimensional homogeneous spaces appear in cosmological models as both, classical factor spaces of multidimensional geometry and minisuperspaces in canonical quantization. Here a new tool to restrict their…
We explicitly present homological residue fields for tensor triangulated categories as categories of comodules in a number of examples across algebra, geometry, and topology. Our results indicate that, despite their abstract nature, they…
The purpose of this article is twofold. On one hand, we reveal the equivalence of shift of finite type between a one-sided shift $X$ and its associated hom tree-shift $\mathcal{T}_{X}$, as well as the equivalence in the sofic shift. On the…
Computational topology has recently known an important development toward data analysis, giving birth to the field of topological data analysis. Topological persistence, or persistent homology, appears as a fundamental tool in this field.…
In this paper, we introduce a family of topological spaces that captures the existence of preservation theorems. The structure of those spaces allows us to study the relativisation of preservation theorems under suitable definitions of…
A topological space is nonseparably connected if it is connected but all of its connected separable subspaces are singletons. We show that each connected sequential topological space X is the image of a nonseparably connected complete…
The topology of the causal boundary for standard static spacetimes--spacetimes time-invariantly conformal to a metric product of the Lorentz line and a Riemannian manifold--is studied in depth. As this is given in terms of a set of…
Let $X$ be a locally symmetric space $\Gamma\backslash G/K$ where $G$ is a connected non-compact semisimple real Lie group with trivial centre, $K$ is a maximal compact subgroup of $G$, and $\Gamma\subset G$ is a torsion-free irreducible…
We prove that homotopy invariance and cancellation properties are satisfied by any linear category of correspondences that is defined, via Calm\`es and Fasel's construction, by an underlying cohomology theory. In particular, this includes…
Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification…
We study separation axioms for $X$-top-lattices (i.e. lattices $L$ for which a given subset $X\subseteq L\backslash \{1\}$ admits a \emph{Zariski-like topology}). Such spaces are $T_{0}$ and usually far away from being $T_{2}.$% We give…
Techniques from computational topology, in particular persistent homology, are becoming increasingly relevant for data analysis. Their stable metrics permit the use of many distance-based data analysis methods, such as multidimensional…
Persistent homology, a technique from computational topology, has recently shown strong empirical performance in the context of graph classification. Being able to capture long range graph properties via higher-order topological features,…