I don't have the oomph to write a whole big thing this morning but uh, here are some links that are relevant IMO: http://conal.net/papers/compiling-to-categori

I don't have the oomph to write a whole big thing this morning but uh, here are some links that are relevant IMO: http://conal.net/papers/compiling-to-categories/ http://conal.net/papers/compiling-to-categories/ https://www.categoricaldata.net/ https://www.categoricaldata.net/ https://terminusdb.com/blog/ https://terminusdb.com/blog/ (It's a little market-ey, dig around for the meat. Graph DB in Prolog & Rust, "git for data", etc.) https://github.com/Co-dfns/Co-dfns https://github.com/Co-dfns/Co-dfns edit: Ah it's you agumonkey (I don't check usernames before replying.) Apologies if I sound like a broken record in re: the above topics.