Text this: Categories and computer science