Arrows to arrows, categories to queries (2025)

Automated excerpt

In particular, I’ve written a little programming language that compiles to SQL. That’s not to say that I’ve written a new query language. Let’s take some time to discuss the underlying category theory here.

Selected automatically from source text; not independently written or fact-checked. Read the original for full context.