Email Record: Theoretical computer science for the working category theorist /