text: Borel spaces form a category in which the maps are Borel méasurable mappings between Borel spaces, where "f:X" -&gt; "Y" is Borel méasurable iff "f-1(B)" is Borel in "X" for any Borel subset "B" of "Y"