Theoretical Computer Science for the Working Category Theorist