Free and based path groupoids
arXiv:1509.07915 · doi:10.2140/agt.2023.23.1959
Abstract
We give an explicit description of the free path and loop groupoids in the Morita bicategory of translation topological groupoids. We prove that the free path groupoid of a discrete group acting on a topological space is a translation groupoid given by the same group acting on the topological path space . We give a detailed description of based path and loop groupoids and show that both are equivalent to topological spaces. We also establish the notion of homotopy and fibration in this context.