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])
- 1
- M.R. Buneci. 2006., Groupoid C*-Algebras., Surveys in Mathematics and its Applications, Volume 1: 71–98.
|
"Borel morphism" is owned by bci1.(view preamble)
