KOREAN JOURNAL OF MATHEMATICS, vol.27, no.2, pp.547-562, 2019 (ESCI)
In this paper, we define a local topological group-groupoid and prove that if G is a local topological group-groupoid, then the monodromy groupoid Mon(G) of G is a local group-groupoid.