Text this: Applications of categories in computer science :