Text this: On applications of category theory to programming languages