Extendibility, monodromy, and local triviality for topological groupoids (Q1599707)

Let \(G\) be a topological groupoid and \(W\) an open subset of \(G\) such that the set of objects of \(G\) is within \(W\). Let \(F(W)\) be the free groupoid on \(W\) and \(N\) the normal subgroupoid of \(F(W)\) generated by the elements of form \([a][b][ab]^{-1}\) for \(a,b, \in W\) such that \(ab\) is defined and is in \(W\). The quotient groupoid \(F(W)/N\) is called the monodromy groupoid of \(G\) for \(W\). This concept of monodromy groupoid is due to Pradines and generalises both the notion of fundamental group and of universal cover of a topological group. In this paper the authors consider a notion of locally topological groupoid and in particular what they call `compatible locally trivial groupoids' and prove conditions that imply that the corresponding monodromy groupoid can be topologised to give a topological groupoid. These results are then linked with a construction using universal covers of the stars of objects in \(G\).