Extendibility, monodromy, and local triviality for topological groupoids

A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all maps of groupoid structure are continuous. The notion of monodromy groupoid of a topological groupoid generalizes those of fundamental groupoid and universal cover. It was earlier proved that the monodromy groupoid of a locally sectionable topological groupoid has the structure of a topological groupoid satisfying some properties. In this paper a similar problem is studied for compatible locally trivial topological groupoids.