Seven Sketches in Compositionality: An Invitation to Applied Category Theory

Re:Seven Sketches in Compositionality: An Invitation to Appl... by kidintech on Tuesday July 09, 2019 @09:45AM (#20391644)

> CT was unnecessarily difficult due to being thrown into a bunch of definitions way to soon

I had a similar experience. Luckily, due to reading many definitions of the basic things (such as monoids), I reached a more complete? intuition of the concept if you will. I think that given enough definitions, people will converge to the same intuition of abstract concepts.

> To new learners I suggest to think of “objects” as the number of dots on domino tiles, or the poles of magnets, they describe where things may, or may not, compose, nothing more

Wouldn't a simpler intuition of circles and arrows be easier?

[ Parent | on HN ]

Re:Seven Sketches in Compositionality: An Invitation to Appl... by CuriousSkeptic on Friday July 12, 2019 @03:33PM (#20423675)

I meant that as examples of concrete simple things (that aren’t functions, types, sets or any other not fully understood concept) with composition rules that could be modeled in a category.

Categories might be drawn using arrows and circles. But that’s just notation.

[ Parent | on HN ]