Title: Theoretical Computer Science for the Working Category Theorist