Text this: Categorical methods in computer science :