Title: A categorical programming language