[barfbagginus]

Can we call it syntactic ashtray? Because it feels like I'm sucking on 1970s ashtray when I see or use it.

Those who have read their Spivak 2017 will know that databases are just Co-presheaves of Ologs over the Kliesli Category of the Power-Set Monad, the Identity Monad, or the Giry Monad. I would like a QL that acts like it!

[breezeTrowel]

I know some of these words.

[lkey]

Snark of grandparent aside: https://arxiv.org/abs/1102.1889 if you want to read more.