What category theory teaches us about dataframes