PlanetPhysics/Category of Borel Groupoids

The category of Borel groupoids $$\mathcal{G}^B$$ has, as its objects, all Borel groupoids $$\grp_B$$ and, as its morphisms the Borel groupoid homomorphisms $$h_B$$ between Borel groupoids.