SQL select-from-where queries can indeed be formalized as "pro-functors": https://arxiv.org/pdf/1602.03501