A beautiful intuition on associativity


I found a beautiful explanation about what property does the associativity capture: You can think of each element of a monoid as having two sides. The idea is that the left side and right side are independent things that don’t interfere with each other. For example, adding some stuff at the beginning of a list, and adding some stuff at the end of a list, don’t affect each other, and it doesn’t matter which you do first. That’s the idea that associativity captures.

from here

Related Posts

Writing essays

Variance in programming languages

Advice for programming students

Why every programming student should learn Coq

Taking notes in markdown: insert a part of a screenshot

Bigger sphere inside of a smaller one

Memory in CompCert: overview

On teaching mathematics -- a summary of Kudryavtsev's book

On teaching programmers and mathematicians

A word about René Magritte