Text this: Categorical Methods in Computer Science :