A topological groupoid over is a Groupoid such that and are Topological Spaces and , , and multiplication are continuous maps. Here, and are maps from onto with and
References
Weinstein, A. ``Groupoids: Unifying Internal and External Symmetry.'' Not. Amer. Math. Soc. 43, 744-752, 1996.