Anfonwch hwn fel neges destun: Data Refinement in a Categorical Setting