Weak pullbacks of topological groupoids (Q713070)

The concept of groupoid was first defined by Brandt in 1926. After Ehresmann gave topological and differentiable versions of groupoids in 1955, it has been applied in many areas of mathematics. The key concept in this paper is the Haar groupoid. A Haar groupoid is a topological groupoid endowed with certain compatible measure theoretic data, i.e., a Haar system and measurement on the object space. In this work, the authors study the weak pullback of Haar groupoids. They introduce the category HG of Haar groupoids and their homomorphisms. Then, they construct the weak pullback of Haar groupoids. Also, they show that the weak pullback of Haar groupoids in the category HG is again a Haar groupoid.