Text this: Category theory and computer science