Definition 0.1.The category of Borel groupoids 𝒢B has, as its objects, all Borel groupoids𝔾B and, as its morphisms the Borel groupoid homomorphisms hB between Borel groupoids.
This is version 1 of category of Borel groupoids, born on 2009-02-04.
Object id is 494, canonical name is CategoryOfBorelGroupoids.
Accessed 1572 times total.
