Arrows to arrows, categories to queries (2025)

The author created a programming language called catlang, which compiles to SQL. The language has an intermediary language based on abstract category theory. The author demonstrated a function in catlang that returns 100 regardless of input, using a while loop equivalent.