Related papers: Free and based path groupoids
For a path connected, locally path connected and semilocally simply connected space $X$, let $\Pi_1(X)$ denote its topologised fundamental groupoid as established in the first article of this series. Let $\mathcal{E}$ be the category of…
We introduce the classical theory of the interplay between group theory and topology into the context of operads and explore some applications to homotopy theory. We first propose a notion of a group operad and then develop a theory of…
The question was asked by Niranjan Ramachandran: how to describe the fundamental groupoid of LX, the free loop space of a space X? We give an answer by assuming X to be the classifying space of a crossed module over a group, and then…
Orbifold groupoids have been recently widely used to represent both effective and ineffective orbifolds. We show that every orbifold groupoid can be faithfully represented on a continuous family of finite dimensional Hilbert spaces. As a…
We show that the fundamental groupoid~\(\Pi_1(X)\) of a locally path connected semilocally simply connected space~\(X\) can be equipped with a \emph{natural} topology so that it becomes a topological groupoid; we also justify the necessity…
In this paper, we show that every topological group is a strong small loop transfer space at the identity element. This implies that the quasitopological fundamental group of a connected locally path connected topological group is a…
In this paper we give an explicit description of the automorphism group of a primary Kodaira surface $X$ in terms of suitable liftings to the universal cover $\mathbb{C}^2$. As it happens for complex tori, the automorphism group of $X$ is…
We verify that for a finite simplicial complex $X$ and for piecewise linear loops on $X$, the "thin" loop space is a topological group of the same homotopy type as the space of continuous loops. This turns out not to be the case for the…
In this paper, we give an accessible introduction to the theory of orbispaces via groupoids. We define a certain class of topological groupoids, which we call orbigroupoids. Each orbigroupoid represents an orbispace, but just as with…
A topological group is constructed which is homotopy equivalent to the pointed loop space of a path-connected Riemannian manifold $M$ and which is given in terms of "composable small geodesics" on $M$. This model is analogous to J. Milnor's…
If $X$ is a topological group, then its fundamental groupoid $\pi_1X$ is a group-groupoid which is a group object in the category of groupoids. Further if $X$ is a path connected topological group which has a simply connected cover, then…
We show that the bicategory of (representable) orbifolds and good maps is equivalent to the bicategory of orbifold translation groupoids and generalized equivariant maps. We use this result to define an orbifold version of Bredon…
We demonstrate that categories of continuous actions of topological monoids on discrete spaces are Grothendieck toposes. We exhibit properties of these toposes, giving a solution to the corresponding Morita-equivalence problem. We…
We survey research on the homotopy theory of the space map(X, Y) consisting of all continuous functions between two topological spaces. We summarize progress on various classification problems for the homotopy types represented by the…
The topological fundamental group $\pi_{1}^{top}$ is a homotopy invariant finer than the usual fundamental group. It assigns to each space a quasitopological group and is discrete on spaces which admit universal covers. For an arbitrary…
We construct an action of the free group $F_n$ on the homotopy category of projective modules over a finite dimensional zigzag algebra. The main theorem in the paper is that this action is faithful. We describe the relationship between…
We define the orbit category for transitive topological groupoids and their equivariant CW-complexes. By using these constructions we define equivariant Bredon homology and cohomology for actions of transitive topological groupoids. We show…
The question of whether a given H-space X is, up to homotopy, a loop space has been studied from a variety of viewpoints. Here we address this question from the aspect of homotopy operations, in the classical sense of operations on homotopy…
We construct algebraic and algebro-geometric models for the spaces of unparametrized paths. This is done by considering a path as a holonomy functional on indeterminate connections. For a manifold X, we construct a Lie algebroid P which…
We prove that any topological loop homeomorphic to a sphere or to a real projective space and having a compact-free Lie group as the inner mapping group is homeomorphic to the circle. Moreover, we classify the differentiable $1$-dimensional…