Borel morphism
Definition 0.1.
Let and * be two groupoids whose object spaces are Borel. An algebraic morphism from to * is defined as a left action of on * which commutes with the multiplication on . Such an algebraic morphism between Borel groupoids is said to be a Borel morphism if the action of on * is Borel (viz. ref. [1])
References
- 1 M.R. Buneci. 2006.,http://www.utgjiu.ro/math/mbuneci/preprint/p0024.pdfGroupoid C*-Algebras.,Surveys in Mathematics and its Applications, Volume 1: 71–98.