發送短信 : Probability measure functors preserving the regular property

  _____      ___       _____   __   __   _    _   
 |__  //    / _ \\    / ___//  \ \\/ // | \  / || 
   / //    / //\ \\   \___ \\   \ ` //  |  \/  || 
  / //__  |  ___  ||  /    //    | ||   | .  . || 
 /_____|| |_||  |_|| /____//     |_||   |_|\/|_|| 
 `-----`  `-`   `-` `-----`      `-`'   `-`  `-`