Are you looking at CQL at all? https://www.categoricaldata.net/ They're using Category Theory to inform their schema design and query language.