| 
 | 
 | 
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.