search

jwbuurlage / category-theory-programmers

Category theory in the context of (functional) programming
MIT License
513 stars 38 forks source link

Fix typo in pullback definition #23

Closed nskins closed 7 years ago

nskins commented 7 years ago

Hello! I am very much enjoying the book. In chapter 8, I believe there is a typo in the definition of pullback. Specifically, f_1 and f_2 are swapped from the above diagram. I was not able to generate the PDF to verify that my solution works since I receive an "undefined control sequence" error (and I am not too knowledgeable of LaTeX). Regardless, I hope you will check the definition and verify that the fix is indeed correct. Thanks!

jwbuurlage commented 7 years ago

Whoops, you are certainly right. Thank you for the fix!