This is pretty cool given the potential backward compatibility - which makes widespread adoption much more realistic. There is some prior art of queries as mor

This is pretty cool given the potential backward compatibility - which makes widespread adoption much more realistic. There is some prior art of queries as morphisms between DBs (or schemas) in the category theory community. e.g., https://www.categoricaldata.net/ https://www.categoricaldata.net/ https://arxiv.org/pdf/0904.2012.pdf https://arxiv.org/pdf/0904.2012.pdf