發送短信: Data Refinement in a Categorical Setting