Text this: Theoretical computer science for the working category theorist /