Theoretical Computer Science for the Working Category Theorist - Yanofsky (Cambridge University Press, 2022)