Categorical Query Language: A principled way to transform data. See also John Cook’s post on Category theory for data science.