Abstracting data models from implementation with Category Theory gives independent life to data models, underpins data transfers with mathematical rigour and enables dream-like applications.