SQL select-from-where queries can indeed be formalized as "pro-functors": https:...

		gremgoth on Jan 29, 2025 \| parent \| context \| favorite \| on: Composable SQL SQL select-from-where queries can indeed be formalized as "pro-functors": https://arxiv.org/pdf/1602.03501