Related papers: On Topological Shape Homotopy Groups
Suppose $G$ is a locally solid lattice group. It is known that there are non-equivalent classes of bounded homomorphisms on $G$ which have topological structures. In this paper, our attempt is to assign lattice structures on them. More…
We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…
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…
Shape theory works nice for (Hausdorff) paracompact spaces, but for spaces with no separation axioms, it seems to be quite poor. However, for finite and locally finite spaces their weak homotopy type is rather rich, and is equivalent to the…
Covering spaces are a fundamental tool in algebraic topology because of the close relationship they bear with the fundamental groups of spaces. Indeed, they are in correspondence with the subgroups of the fundamental group: this is known as…
Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…
We introduce the group-compact coarse structure on a Hausdorff topological group in the context of coarse structures on an abstract group which are compatible with the group operations. We develop asymptotic dimension theory for the…
Let $p:X\rightarrow X/A$ be a quotient map, where $A$ is a subspace of $X$. We explore conditions under which $p_*(\pi_1^{qtop}(X,x_0))$ is dense in $\pi_1^{qtop}(X/A,*))$, where the fundamental groups enjoy the natural quotient topology…
We begin the study the algebraic topology of semi-coarse spaces, which are generalizations of coarse spaces that enable one to endow non-trivial `coarse-like' structures to compact metric spaces, something which is impossible in coarse…
Let G be a discrete group. We give methods to compute for a generalized (co-)homology theory its values on the Borel construction (EG x X)/G of a proper G-CW-complex X satisfying certain finiteness conditions. In particular we give formulas…
We investigate the mapping class groups of a class of non-Hausdorff topological spaces which includes finite spaces. We show that the mapping class group of a finite space is isomorphic to the homeomorphism group of its $T_0$ quotient. As a…
In this paper we show that the nth quasitopological homotopy group of a topological space is isomorphic to (n-1)th quasitopological homotopy group of its loop space and by this fact we obtain some results about quasitopological homotopy…
We introduce the notion of \emph{topo-symmetric extensions} of topological groups, a new generalization of classical group extensions that incorporates both topological and symmetry constraints. We define morphisms between such extensions,…
In this paper we study the topology of cobordism categories of manifolds with corners. Specifically, if {Cob}_{d,<k>} is the category whose objets are a fixed dimension d, with corners of codimension less than or equal to k, then we…
We develop a new route through which to explore $\ker\Psi_X$, the kernel of the $\pi_1$-shape group homomorphism determined by a general space $X$, and establish, for each locally path connected, paracompact Hausdorff space $X$,…
The kth finite subset space of a topological space X is the space exp_k X of non-empty finite subsets of X of size at most k, topologised as a quotient of X^k. The construction is a homotopy functor and may be regarded as a union of…
It is widely understood that the quotient space of a topological group action can have a complicated combinatorial structure, indexed somehow by the sotropy groups of the action, but how best to record this structure seems unclear. This…
We give an explicit approach for Bockstein homomorphisms of the Hochschild cohomology of a group algebra and of a block algebra of a finite group and we show some properties. To give explicit definitions for these maps we use an additive…
We study topological groups of monotonic autohomeomorphisms on a generalized ordered space $L$. We find a condition that is necessary and sufficient for the set of all monotonic autohomeomorphisms on $L$ along with the function composition…
The topological Hochschild homology THH(R) of a commutative S-algebra (E_infty ring spectrum) R naturally has the structure of a commutative R-algebra in the strict sense, and of a Hopf algebra over R in the homotopy category. We show,…