learning_category_theory Challenges, notes and progress on this book https://github.com/hmemcpy/milewski-ctfp-pdf