Αποστολή με SMS: Data Refinement in a Categorical Setting