hmemcpy / milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Other
10.84k stars 572 forks source link

Chapter 3 - Section 3.5 Clarification #292

Open clarkwalcott opened 1 year ago

clarkwalcott commented 1 year ago

"Now I want you to forget that you are dealing with the set of natural numbers and just think of it as a single object, a blob with a bunch of morphisms — the adders."

As I was reading through this chapter learning about monoids for the first time, I'm not sure why, but it was not immediately clear that it here was referring to the monoid set (of natural numbers) despite it being the subject in this sentence.

I believe that it would help if that part of the sentence instead read something like:

think of the whole/entire set as a single object

as that is what I understand the intent of the sentence to be.

At the very least for me, writing this section out this way helped me understand this section more clearly. I'm not sure if this would help others as well; please feel free to disregard if you believe the original to be sufficient.

Cheers :)