Text this: Category Theory and Computer Science