search

jwbuurlage / category-theory-programmers

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

Minor fix for product diagram. #25

Closed Yawolf closed 6 years ago

Yawolf commented 6 years ago

Hi there!

In the page 24, Product section, Chapter 3 you define: f = p1 o q and g = p2 o q However in the following example you put: 4 = 2 x 2 and 8 = 4 x 2 But the arrow form 2 to 8, which is q, has the value x4, and arrow from 8 to 8, which is p1, has the value x1, so it should be 4 = 1 x 4 instead of 4 = 2 x 2 (If I understood well).

For the same reason I changed g = 4 x 2 to g = 2 x 4, I think if you keep the order will be more understandable.

Cheers! :slightly_smiling_face:

jwbuurlage commented 6 years ago

Thank you very much! This was a clear mistake of presumably updating the labels and not the caption. :)