The author created catlang, a small programming language whose compiler emits one large PostgreSQL SELECT statement. Its intermediate representation relies on category-theory constructs and arrow notation, with algebraic semantics intended to support unusual compilation targets such as SQL.