Theoretical_Computer_Science_for_the_Working_Category_Theorist.pdf